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