		Search-engine friendly clone of the ACL2 documentation.

Abnf-extensions

Some ABNF library extensions.

These are temporarily here, but they should be eventually moved to the ABNF library.

Make-repetition-unit-case-sensitive-string: Makes ABNF AST for a repetition of exactly one instance of the given case-sensitive string terminal.).
Make-repetition-unit-case-insensitive-string: Makes ABNF AST for a repetition of exactly one instance of the given case-insensitive string terminal.).
Make-repetition-unit-rule: Makes ABNF AST for a repetition of exactly one rulename.
Make-repetition-1*-rule: Makes ABNF AST for a repetition of one or more rulename.
Make-repetition-0*-rule: Makes ABNF AST for a repetition of zero or more rulename.
Make-repeat-range-1*1
Make-repeat-range-1*
Make-repeat-range-0*