Functor Datatype.Make_SetRef


module Make_SetRef: 
functor (Set : SET) ->
functor (Data : S with type t = Set.elt) -> S with type t = Set.t ref
Generic functor building a datatype for a reference on a set.
Parameters:
Set : SET
Data : S with type t = Set.elt