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

module PCF.All where

import PCF.Domain-Notation
import PCF.Types
import PCF.Constants
import PCF.Variables
import PCF.Environments
import PCF.Terms
import PCF.Checks
\end{code}