module Make_SetRef: functor (Set : SET) -> functor (Data : S with type t = Set.elt) -> S with type t = Set.t ref
functor (
Set
:
SET
) ->
Data
S
with type t = Set.elt
with type t = Set.t ref
S with type t = Set.elt