Module LogtkPrologTerm.Seq

module Seq: sig .. end

val vars : LogtkPrologTerm.t -> LogtkPrologTerm.t Sequence.t
val free_vars : LogtkPrologTerm.t -> LogtkPrologTerm.t Sequence.t
val subterms : LogtkPrologTerm.t -> LogtkPrologTerm.t Sequence.t
val subterms_with_bound : LogtkPrologTerm.t -> (LogtkPrologTerm.t * LogtkPrologTerm.Set.t) Sequence.t
subterm and variables bound at this subterm
val symbols : LogtkPrologTerm.t -> LogtkSymbol.t Sequence.t
val add_set : LogtkPrologTerm.Set.t ->
LogtkPrologTerm.t Sequence.t -> LogtkPrologTerm.Set.t