module Examples.LLBase where

import Examples.TermBase (Type(..))



data Term = DVar Int | Var Int | App Term Term
  deriving Show

type TLD = ([Type], Type, Term)

data Prog = Prog [TLD] Term
  deriving Show