Agda-2.8.0.2: src/full/Agda/TheTypeChecker.hs

{-# OPTIONS_GHC -Wunused-imports #-}

module Agda.TheTypeChecker
  ( checkDecls, checkDecl, checkDeclCached
  , inferExpr, checkExpr
  ) where

import Agda.TypeChecking.Rules.Decl
import Agda.TypeChecking.Rules.Term