Module LogtkFOTerm.Seq

module Seq: sig .. end

val vars : LogtkFOTerm.t -> LogtkFOTerm.t Sequence.t
val subterms : LogtkFOTerm.t -> LogtkFOTerm.t Sequence.t
val subterms_depth : LogtkFOTerm.t -> (LogtkFOTerm.t * int) Sequence.t
val symbols : LogtkFOTerm.t -> LogtkSymbol.t Sequence.t
val max_var : LogtkFOTerm.t Sequence.t -> int
max var, or 0
val min_var : LogtkFOTerm.t Sequence.t -> int
min var, or 0
val ty_vars : LogtkFOTerm.t -> LogtkType.t Sequence.t
val typed_symbols : LogtkFOTerm.t -> (LogtkSymbol.t * LogtkType.t) Sequence.t
val add_set : LogtkFOTerm.Set.t -> LogtkFOTerm.t Sequence.t -> LogtkFOTerm.Set.t