Module LogtkTypedPrologTerm.Seq

module Seq: sig .. end

val subterms : LogtkTypedPrologTerm.t -> LogtkTypedPrologTerm.t Sequence.t
val subterms_with_bound : LogtkTypedPrologTerm.t ->
(LogtkTypedPrologTerm.t * LogtkTypedPrologTerm.Set.t) Sequence.t
val vars : LogtkTypedPrologTerm.t -> LogtkTypedPrologTerm.t Sequence.t