|
@@ -374,6 +374,7 @@
|
|
|
\newcommand{\SEQ}[2]{\key{(Seq}~#1~#2\key{)}}
|
|
|
|
|
|
\if\edition\racketEd
|
|
|
+\newcommand{\XVAR}[1]{\key{(Var}~#1\key{)}}
|
|
|
\newcommand{\CGDEF}[4]{\LP\key{define}~\LP#1~#2\RP\,#3~#4\RP}
|
|
|
\newcommand{\IMM}[1]{\key{(Imm}~#1\key{)}}
|
|
|
\newcommand{\REG}[1]{\key{(Reg}~#1\key{)}}
|
|
@@ -396,6 +397,7 @@
|
|
|
\newcommand{\INST}[3]{\LP\key{Inst}~#1~#2~#3\RP}
|
|
|
\fi
|
|
|
\if\edition\pythonEd
|
|
|
+\newcommand{\XVAR}[1]{\key{Variable}\LP #1 \RP}
|
|
|
\newcommand{\CGDEF}[4]{\key{def}~#1\LP #2 \RP~#3 \code{:}~#4}
|
|
|
\newcommand{\TAILJMP}[2]{\key{TailJmp}\LP#1\code{, }#2\RP}
|
|
|
\newcommand{\INDCALLQ}[2]{\key{IndirectCallq}\LP#1\code{, }#2\RP}
|