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: |
|
include Equality_sig.S
module Set:Equality_sig.Set
with type element = elt and type equality = t