libcspm-0.2.0: src/CSPM/TypeChecker/Decl.hs-boot

module CSPM.TypeChecker.Decl where

import CSPM.DataStructures.Syntax
import CSPM.DataStructures.Types
import CSPM.TypeChecker.Monad

typeCheckDecls :: [TCDecl] -> TypeCheckMonad ()