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