B - Grammar

Assert uses context-free grammar (CFG). The notation is a mixture of EBNF and my own preferences. The notation is described below. You can find full Assert language grammar here: assert-lang/grammar.

UsageNotation
definition->
concatenation,
termination;
alternation|
optional[ ... ]
repetition{ ... }
grouping( ... )
terminal string" ... "