module Uniq: functor (Setoid : Setoid.Setoid) -> sig .. end
functor (
Setoid
:
Setoid.Setoid
) ->
sig
end
val member : Setoid.t -> Setoid.t list -> bool
Setoid.t -> Setoid.t list -> bool
val f : Setoid.t list -> Setoid.t list
Setoid.t list -> Setoid.t list