these-jcb/code/traceSyntax.tex

\begin{ebnf}[caption=Syntaxe concrète de la construction \%trace,label=traceConstructSyntax]
TraceConstruct ::= '%trace' '(' VarName ':' TypeName ',' BackQuoteTerm ')'
VarName          ::= Identifier
TypeName         ::= Identifier
\end{ebnf}