CCBoolcompare b1 b2 is the total ordering on booleans b1 and b2, similar to Stdlib.compare.
val to_int : t -> intto_int true = 1, to_int false = 0.
val of_int : int -> tof_int i is the same as i <> 0
type 'a printer = Format.formatter -> 'a -> unit