Module Deriving_Eq.Eq_alpha

Parameters

module S : sig ... end

Signature

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