Module Deriving_Eq.Eq_unit

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