Module `Constraint.Operators`

Classic infix boolean operators are redefined on t.

val (>) : Expr.t -> Expr.t -> t

val (<) : Expr.t -> Expr.t -> t

val (>=) : Expr.t -> Expr.t -> t

val (<=) : Expr.t -> Expr.t -> t

val (=) : Expr.t -> Expr.t -> t

val (<>) : Expr.t -> Expr.t -> t