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