these-jcb/code/resolvelinkSyntax.tex

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