sig
  val terms : 'a Monome.t -> Monome.term Sequence.t
  val vars : 'a Monome.t -> Libzipperposition.FOTerm.var Sequence.t
  val coeffs : 'a Monome.t -> ('a * Monome.term) Sequence.t
  val coeffs_swap : 'a Monome.t -> (Monome.term * 'a) Sequence.t
end