module Set: functor (S : Set.S) -> sig .. end
functor (
S
:
Set.S
) ->
sig
end
Set.S.t
val red : S.t Reducer.t
S.t Reducer.t