module GenericSet: sig .. end
sig
end
Provide a way to create GenericSet specifying how to hash.
module type S = sig .. end
This module type must be implemented to obtain an instantiated GenericSet.
module type GenericSetSig = sig .. end
module Make: functor (El : S) -> GenericSetSig with type elt= El.t
functor (
El
:
S
) ->
GenericSetSig
with type elt= El.t