val (=) : bool -> bool -> bool
val (<>) : bool -> bool -> bool
val (<) : bool -> bool -> bool
val (>) : bool -> bool -> bool
val (<=) : bool -> bool -> bool
val (>=) : bool -> bool -> bool
val compare : bool -> bool -> int
val min : bool -> bool -> bool
val max : bool -> bool -> bool