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