Module Deriving_Eq.Eq_set_s_t

Parameters

module S : Set.S

Signature

type a = S.t
val eq : a -> a -> bool