Module Funarith_zarith__.Simplex_zarith.Make_full.2-L.Constr

type op = [
| `Eq
| `Geq
| `Gt
| `Leq
| `Lt
| `Neq
]
type +'a t = {
expr : Expr.t;
op : 'a;
} constraint 'a = [< op ]
val compare : [< op ] as a t ‑> 'a t ‑> int
val pp : [< op ] t CCFormat.printer
val of_expr : Expr.t ‑> [< op ] as a ‑> 'a t
val make : Comb.t ‑> [< op ] as a ‑> C.t ‑> 'a t
val op : [< op ] as a t ‑> 'a
val expr : [< op ] t ‑> Expr.t
val split : [< op ] as a t ‑> Comb.t * 'a * C.t
val eval : subst ‑> [< op ] t ‑> bool