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