expr/class.dcl

   1 definition module class
   2
   3 class lit m :: Int -> m
   4 class var m :: String -> m
   5 class (+.) infixl 6 m :: m m -> m
   6
   7 :: Eval
   8 instance lit Eval
   9 instance var Eval
  10 instance +. Eval
  11
  12 :: Print
  13 instance lit Print
  14 instance var Print
  15 instance +. Print