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