int.dcl

   1 definition module int
   2
   3 from Data.Either import :: Either
   4 from ast import :: Expression, :: Value
   5
   6 :: Eval a
   7 int :: Expression -> Either [String] Value
   8 eval :: Expression -> Eval Value