module Set: functor (Data : Project.Datatype.S) -> S with type t = Set.Make(Data).t
functor (
Data
:
Project.Datatype.S
) ->
S
with type t = Set.Make(Data).t