Module Hptset

module Hptset: sig .. end
Sets over ordered types.

This module implements the set data structure. All operations over sets are purely applicative (no side-effects).


module type S = sig .. end
Output signature of the functor Set.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