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 = Buffer.t -> 'a -> unit
  type 'a formatter = Format.formatter -> 'a -> unit
  val pp : CCBool.t CCBool.printer
  val print : CCBool.t CCBool.formatter
end