Module Funarith_zarith__Simplex_zarith.Make_full.L.Expr.Infix

val (+) : t ‑> t ‑> t
val (-) : t ‑> t ‑> t
val (*) : C.t ‑> t ‑> t