module Eq_set_s_t: functor (S : Set.S) -> Eq with type a = S.t
functor (
S
:
Set.S
) ->
Eq
with type a = S.t
type a
val eq : a -> a -> bool
a -> a -> bool