Syntaxe BNF de Caml

    Nous donnons une syntaxe BNF (Backus Naur Form) étendue. Chaque règle de la grammaire définit un non-terminal par une production. Le non-terminal défini est à gauche du symbole ::=, la production à droite. Un non-terminal est écrit ainsi, les mots clés et symboles terminaux ainsi. Dans les membres droits de règles, le symbole $\orelse$ signifie l'alternative, les crochets indiquent une partie optionnelle $\boption$ ainsi $\eoption$, les accolades une partie qui peut être répétée un nombre quelconque de fois $\brepet$ ainsi $\erepet$, tandis qu'un symbole + en exposant des accolades indique une partie répétée au moins une fois, $\brepets$ ainsi $\erepets$.Dans les règles lexicales les trois points ..., situés entre deux caractères a et b, indiquent l'ensemble des caractères entre a et b dans l'ordre du code ASCII. Finalement, les parenthèses servent au groupement (ainsi).