Module LogtkFormula.TERM.Seq

module Seq: sig .. end

val vars : LogtkFormula.TERM.t -> LogtkFormula.TERM.t Sequence.t