Grammar-characters
Characters allowed by the grammar.
We introduce predicates to check whether character codes
correspond to characters allowed by the grammar.
Recall that we commit to Unicode characters,
so these are Unicode scalar values.
Subtopics
- Grammar-character-p
- Check if a character (code) is valid according to the ABNF grammar.
- Grammar-character-listp
- Check if all the characters (codes) in a list
are valid according to the ABNF grammar.
