Module Deriving_Eq.Eq_bool

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