\begin{code}

{-# OPTIONS --safe --without-K --exact-split #-}

module Dominance.index where

import Dominance.Definition
import Dominance.Decidable
import Dominance.Lifting

\end{code}