module CCBool: sig .. end
sig
end
type t = bool
bool
val compare : t -> t -> int
t -> t -> int
Pervasives.compare
val equal : t -> t -> bool
t -> t -> bool
val negate : t -> t
t -> t
not
type 'a printer = Format.formatter -> 'a -> unit
'a
Format.formatter -> 'a -> unit
val pp : t printer
t printer