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