Functor Equality.Make

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
Parameters:
Elt : Element
Set : Hptset.S with type elt = Elt.t
Functor_info : Datatype.Functor_info

include Equality_sig.S
module Set: Equality_sig.Set  with type element = elt and type equality = t