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