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).
not
type 'a printer
= Format.formatter ‑> 'a ‑> unit
val pp : t printer