Module Defaults.Eq

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