Module LogtkFormula.S.Seq

module Seq: sig .. end

val terms : LogtkFormula.S.t -> LogtkFormula.S.term Sequence.t
val vars : LogtkFormula.S.t -> LogtkFormula.S.term Sequence.t
val atoms : LogtkFormula.S.t -> LogtkFormula.S.t Sequence.t
val symbols : LogtkFormula.S.t -> LogtkFormula.symbol Sequence.t