public bool Equals(CharacterNumber other) { return(_characterMinusOne == other._characterMinusOne); }
public TextPosition(LineNumber line, CharacterNumber character) { Line = line; Character = character; }