deriving.runtime
Deriving_Eq.Eq_immutable
module S : sig ... end
type a = S.a
val eq : a -> a -> bool