PCF.All

{-# 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