Module Funarith_zarith__.Simplex_zarith.Make_full.2-L.Expr.Infix

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