CharacterFilter typedef

CharacterFilter = String Function(String source, [String? zone])

Type definition of a function that filters characters from the source text in preparation of tokenization.

Implementation

typedef CharacterFilter = String Function(String source, [String? zone]);