Boolean.Expr
Build trees representing boolean expressions.
type t
Expression trees.
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 Checked.t
Evaluate the expression tree.
val assert_ : t -> unit Checked.t