module MapInputsPrevious: Cvalue.Model.Hashtbl.Make(PreviousState)
Cvalue.Model.Hashtbl.Make
(
PreviousState
)