path: root/test/phase5/exact-definition-guard-failure.tex

\begin{definition}\label{phase5_guarded_definition}
    Suppose $\top$.
    The parity guarded value of $X$ is $X$.
\end{definition}