type op
[
|
`Eq
`Geq
`Gt
`Leq
`Lt
`Neq
]
type +'a t
= 'a L.Constr.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