sig   type t = bool   val compare : CCBool.t -> CCBool.t -> int   val equal : CCBool.t -> CCBool.t -> bool   val negate : CCBool.t -> CCBool.t   type 'a printer = Format.formatter -> 'a -> unit   val pp : CCBool.t CCBool.printer end