/// <summary>Returns the previous Term enumerated. Initially null.</summary> public /*internal*/ Term Prev() { return(prevBuffer.ToTerm()); }
/// <summary>Returns the current Term in the enumeration. /// Initially invalid, valid after next() called for the first time. /// </summary> public override Term Term() { return(termBuffer.ToTerm()); }