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

module CSPM.TypeChecker.Decl where

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

typeCheckDecls :: [TCDecl] -> TypeCheckMonad ()