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 Id_Datatype = sig .. end
Input signature of the functor Set.Make.
module type S = sig .. end
Output signature of the functor Set.Make.
module Make: 
functor (X : Id_Datatype) -> S with type elt = X.t