Assert.Bool
include EQUALITIES with type t = bool
type t = bool
val equal : t check2
val unequal : t check2
val fail : (t, 'a) assertion
module Option : sig ... end
module List : sig ... end
module Array : sig ... end
module List_list : sig ... end
val leq : t check2
val lt : t check2
val geq : t check2
val gt : t check2