Module Deriving_Eq.Eq_bool

module Eq_bool: Eq  with type a = bool

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