Module Monome.Seq

module Seq: sig .. end

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