-- Andreas, 2021-02-03
-- Duplicate rules from pragmas should flag and error.

[].  [Integer] ::= "<empty>";
(:). [Integer] ::= Integer "<then>" [Integer];

separator nonempty Integer ",";