module Eq_bool: Eq with type a = bool
Eq
with type a = bool
type a
val eq : a -> a -> bool
a -> a -> bool