\newcommand{\Vector}[1]{{#1}\,\mathcd{vector}}
\newcommand{\Array}[1]{{#1}\,\mathcd{array}}

\newcommand{\SubV}[2]{\mathcd{sub}_{\mathcd{v}}\cdparens{{#1},{#2}}}
\newcommand{\SubA}[2]{\mathcd{sub}_{\mathcd{a}}\cdparens{{#1},{#2}}}
\newcommand{\Update}[3]{\mathcd{update}\cdparens{{#1},{#2},{#3}}}

\newcommand{\Cont}[1]{{#1}\,\mathcd{cont}}

\newcommand{\Of}{\mathrel{:}}
\newcommand{\Coerce}{\mathrel{\rightsquigarrow}}

\newcommand{\Hole}{\square}
\newcommand{\Push}{\triangleright}

\newcommand{\Ref}[1]{\mathcd{ref}\,{#1}}
\newcommand{\Get}[1]{\mathcd{!}{#1}}
\newcommand{\Set}[2]{{#1}\,\mathcd{:=}\,{#2}}
\newcommand{\Seq}[2]{{#1}\,\mathcd{;}\,{#2}}

\newcommand{\FL}[1]{\mathop{\text{FL}}({#1})}
\newcommand{\Domain}[1]{\mathop{\text{dom}}({#1})}
\newcommand{\MAnd}{\mathrel{\mathcd{and}}}

\newcommand{\CStepsTo}{\StepsTo_{GC}}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "final"
%%% End: 
