- typeCheckDecls :: [PDecl] -> TypeCheckMonad ()
Documentation
typeCheckDecls :: [PDecl] -> TypeCheckMonad ()Source
Type check a list of possibly mutually recursive functions
typeCheckDecls :: [PDecl] -> TypeCheckMonad ()Source
Type check a list of possibly mutually recursive functions