module Persistent: sig .. end
sig
end
module MakeTreeSet: functor (T : Set.OrderedType) -> Collection.Set.PS with type elt = T.t
functor (
T
:
Set.OrderedType
) ->
Collection.Set.PS
with type elt = T.t