\begin{code}
{-# OPTIONS --rewriting --confluence-check #-}

module ULC.All where

import ULC.Variables
import ULC.Terms
import ULC.Domains
import ULC.Environments
import ULC.Semantics
import ULC.Checks
\end{code}