1-Inputs.Bool
type t
include Iffable with type t := t and type bool := t
val if_ : t -> then_:t -> else_:t -> t
val true_ : t
val false_ : t
val equal : t -> t -> t
val not : t -> t
val (|||) : t -> t -> t
val (&&&) : t -> t -> t
module Assert : sig ... end
val display : t -> label:string -> string
val all : t list -> t
type failure_status
type failure_status_tbl
val assert_with_failure_status_tbl : pos:(string * int * int * int) -> t -> failure_status_tbl -> unit