ReplacementInfo typedef

ReplacementInfo = (int, String)

Record type for replacement information: (start index, new text).

Implementation

typedef ReplacementInfo = (int start, String newText);