check.dcl

   1 definition module check
   2
   3 from Data.Either import :: Either
   4 from ast import :: AST
   5
   6 :: Type
   7 check :: AST -> Either [String] (Type, AST)