sig
  val iter_vars : (Term.variable -> unit) -> Term.term -> unit
  val is_ground : Term.term -> bool
  val is_nonvar : Term.term -> bool
  val varnum : Term.term -> int
end