Module Import0.Bool_replace_polymorphic_compare

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 ascending : bool -> bool -> int
val descending : bool -> bool -> int
val compare : bool -> bool -> int
val equal : bool -> bool -> bool
val max : bool -> bool -> bool
val min : bool -> bool -> bool