2024-04-17 13:35:38 +00:00
|
|
|
\newcommand{\DSL}{JSTQL }
|
2024-05-29 19:13:47 +00:00
|
|
|
\newcommand{\exProp}{\textbf{declare numerical literal}}
|
2024-05-11 19:34:34 +00:00
|
|
|
\newcommand{\discardBindings}{Discard Bindings }
|
|
|
|
|
\newcommand{\DSLSH}{JSTQL-SH }
|
|
|
|
|
\newcommand{\figFull}[1][missing]{Figure \ref{#1}}
|
|
|
|
|
\newcommand{\fig}[1][missing]{\ref{#1}}
|
