Monome.Seq
val terms : _ t -> term Sequence.t
val vars : _ t -> Term.var Sequence.t
val coeffs : 'a t -> ('a * term) Sequence.t
val coeffs_swap : 'a t -> (term * 'a) Sequence.t