Module FOTerm.Seq

module Seq: sig .. end

val vars : FOTerm.t -> FOTerm.var Sequence.t

val subterms : FOTerm.t -> FOTerm.t Sequence.t

val subterms_depth : FOTerm.t -> (FOTerm.t * int) Sequence.t

val symbols : FOTerm.t -> ID.t Sequence.t

val max_var : FOTerm.var Sequence.t -> int

val min_var : FOTerm.var Sequence.t -> int

val ty_vars : FOTerm.t -> FOTerm.var Sequence.t

val typed_symbols : FOTerm.t -> (ID.t * Type.t) Sequence.t

val add_set : FOTerm.Set.t -> FOTerm.t Sequence.t -> FOTerm.Set.t