Module Containers.Bool

module Bool: CCBool

type t = bool 
val compare : t -> t -> int
Total ordering on booleans, similar to Pervasives.compare
val equal : t -> t -> bool
val negate : t -> t
Negation on booleans (functional version of not)
type 'a printer = Format.formatter -> 'a -> unit 
val pp : t printer