sealed class Substituting: ListIterator Fields Name Description protected var current: Term? protected unifier: Unifier