Functor Hptset.Make

module Make: 
functor (X : Hptmap.Id_Datatype-> 
functor (Initial_Values : sig
val v : X.t list list
end-> 
functor (Datatype_deps : sig
val l : State.t list
end-> sig .. end
Parameters:
X : Hptmap.Id_Datatype
Initial_Values : sig val v : X.t list list end
Datatype_deps : sig val l : State.t list end

include Hptset.S
val self : State.t