/// <summary> /// Returns the previous Term enumerated. Initially <c>null</c>. </summary> internal Term Prev() { return(prevBuffer.ToTerm()); }
/// <summary> /// Returns the current Term in the enumeration. /// Initially invalid, valid after <see cref="Next()"/> called for the first time. /// </summary> public Term Term() { return(termBuffer.ToTerm()); }