check.dcl

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