sig
  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
end