module Setoid_test: sig .. end
sig
end
module Uniq: functor (Setoid : Setoid.Setoid) -> sig .. end
functor (
Setoid
:
Setoid.Setoid
) ->
module Person: sig .. end
module PersonUniq: Uniq(Person)
Uniq
(
Person
)
val crowd : Person.t list
Person.t list
val unique_members : Person.t list