these-jcb/code/resolveSyntax.tex

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