Module Bool.Eq

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