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

module LC.index where

import LC.Definitions
import LC.Domains
import LC.Environments
import LC.Semantics
import LC.Terms
import LC.Tests
import LC.Variables
\end{code}