{-# LANGUAGE TypeFamilies, Rank2Types #-}

module Proof where

import Lambda
import Ops
import Size
import Exp
import SizedFun
import qualified Prelude
import Prelude (String, Int, ($), (.))