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