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