module MaptoSet: functor (S : sig type t end) -> functor (GMap : GenericMapSig with type key = S.t) -> functor (GSet : GenericSet.GenericSetSig with type elt = S.t) -> sig .. end
functor (
S
:
sig
type t
end) -> functor (GMap : GenericMapSig with type key = S.t) -> functor (GSet : GenericSet.GenericSetSig with type elt = S.t) -> sig .. end
end
) ->
GMap
GenericMapSig
with type key = S.t
GSet
GenericSet.GenericSetSig
with type elt = S.t
sig type t end
GenericMapSig with type key = S.t
GenericSet.GenericSetSig with type elt = S.t
val to_set : 'a GMap.t -> GSet.t
'a GMap.t -> GSet.t