%!TEX root = ../Main.tex

% -----------------------------------------------------------------------------
\begin{figure}
\boxfig{
\begin{tabbing}
MMM \= Mx \= MMMMMx \= MMMMMMMMMMM \= MMMx \= Mx \= MMMMMM \= MMMM \kill
$\mkienv$       \> ::=  \> $\ov{~\bra{a} : \mkind}$      
                \> (kind environment)

\> $\mtyenv$    \> ::=  \> $\ov{~\bra{z} : \mtype}$      
                \> (type environment)
\\[1ex]

$\mstenv$       \> ::=  \> ~$\ov{\bra{l} : \mtype}$      
                \> (store environment)
\> $\mstprops$  \> ::=  \> ~~$\ov{~\sregion{p}}$
                \> (store properties)
\end{tabbing}
\hpad
} % boxfig
\smallskip
\caption{Environments}
\label{f:Environments}
\end{figure}


