/// <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());
}
