check.dcl

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