Module LogtkScopedTerm.Seq

module Seq: sig .. end

val vars : LogtkScopedTerm.t -> LogtkScopedTerm.t Sequence.t
val rigid_vars : LogtkScopedTerm.t -> LogtkScopedTerm.t Sequence.t
val subterms : LogtkScopedTerm.t -> LogtkScopedTerm.t Sequence.t
val subterms_depth : LogtkScopedTerm.t -> (LogtkScopedTerm.t * int) Sequence.t
val symbols : LogtkScopedTerm.t -> LogtkScopedTerm.symbol Sequence.t
val types : LogtkScopedTerm.t -> LogtkScopedTerm.t Sequence.t
val max_var : LogtkScopedTerm.t Sequence.t -> int
val min_var : LogtkScopedTerm.t Sequence.t -> int
val add_set : LogtkScopedTerm.Set.t ->
LogtkScopedTerm.t Sequence.t -> LogtkScopedTerm.Set.t
val add_tbl : unit LogtkScopedTerm.Tbl.t -> LogtkScopedTerm.t Sequence.t -> unit