Boolean.Expr
type t
val (!) : var -> t
val (&&) : t -> t -> t
val (&&&) : t -> t -> t
val (||) : t -> t -> t
val (|||) : t -> t -> t
val any : t list -> t
val all : t list -> t
val not : t -> t
val eval : t -> var
val assert_ : t -> unit