Name of the mapping.
The parser for the mapping.
The JSON representation of the character mapping.
The default parsing method.
The default parsing method.
Sets mapping for a token.
The token to map.
The tokens value in the mapping's codomain.
Removes a token from the map
The token to remove
Maps tokens that are delimiters, that are all parsed with the same method.