module Hptset: sig .. end
sig
end
This module implements the set data structure. All operations over sets are purely applicative (no side-effects).
module type S = sig .. end
Set.Make
module Make: functor (X : Hptmap.Id_Datatype) -> functor (Initial_Values : sig val v : X.t list listend) -> functor (Datatype_deps : sig val l : State.t listend) -> sig .. end
functor (
X
:
Hptmap.Id_Datatype
) ->
Initial_Values
val v : X.t list list
X.t list list
end) -> functor (Datatype_deps : sig val l : State.t listend) -> sig .. end
Datatype_deps
val l : State.t list
State.t list
end) -> sig .. end