type t
val comb : t ‑> Comb.t
val const : t ‑> C.t
val is_zero : t ‑> bool
val compare : t ‑> t ‑> int
val pp : t CCFormat.printer
val zero : t
val of_const : C.t ‑> t
val of_comb : Comb.t ‑> t
val of_list : (C.t * Var.t) list ‑> t
val make : Comb.t ‑> C.t ‑> t
module Infix : sig ... end
val (+) : t ‑> t ‑> t
val (-) : t ‑> t ‑> t
val (*) : C.t ‑> t ‑> t
val eval : subst ‑> t ‑> C.t