module Eq_set_s_t: functor (S : Stdlib.Set.S) -> Eq L+ÀÙL1@
functor (
S
:
Stdlib.Set.S
) ->
Eq
L+ÀÙL1@
type a
val eq : a -> a -> bool
a -> a -> bool