{-# OPTIONS_GHC -Wunused-imports #-}

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

import Mikan.TypeChecking.Rules.Decl
import Mikan.TypeChecking.Rules.Term