type t
= L.Comb.t
val compare : t ‑> t ‑> int
val pp : t CCFormat.printer
val is_empty : t ‑> bool
val empty : t
val monomial : C.t ‑> var ‑> t
val monomial1 : var ‑> t
val add : C.t ‑> var ‑> t ‑> t
module Infix : sig ... end
val (+) : t ‑> t ‑> t
val (-) : t ‑> t ‑> t
val (*) : C.t ‑> t ‑> t
val of_list : (C.t * var) list ‑> t
val to_list : t ‑> (C.t * var) list
val of_map : C.t Var_map.t ‑> t
val to_map : t ‑> C.t Var_map.t
val eval : subst ‑> t ‑> C.t