these-jcb/code/tracelinkSyntax.tex

\begin{ebnf}[caption=Syntaxe concrète de la construction \lex{\%tracelink}.,label=tracelinkConstructSyntax]
TracelinkConstruct ::= '%tracelink' '(' VarName ':' TypeName ',' BackQuoteTerm ')'
VarName              ::= Identifier
TypeName             ::= Identifier
\end{ebnf}