Module Equality

module Equality: sig .. end
Type of the keys of the map.

Type of the keys of the map.


module type Element = sig .. end
module Make: 
functor (Elt : Element-> 
functor (Set : Hptset.S with type elt = Elt.t-> 
functor (Functor_info : Datatype.Functor_info-> Equality_sig.S_with_collections with type elt = Elt.t