CCBool
type t
= bool
val compare : t -> t -> int
Total ordering on booleans, similar to Pervasives.compare.
Pervasives
val equal : t -> t -> bool
val to_int : t -> int
to_int true = 1, to_int false = 0.
to_int true = 1
to_int false = 0
val of_int : int -> t
of_int i is the same as i <> 0
of_int i
i <> 0
val negate : t -> t
type 'a printer
= Format.formatter -> 'a -> unit
val pp : t printer