week2/camil/StdT.dcl

   1 definition module StdT
   2
   3 import StdOverloaded
   4
   5 ::      T
   6
   7 instance ==                     T
   8 instance <                      T
   9
  10 instance zero           T
  11 instance +                      T
  12 instance -                      T
  13
  14 instance toInt          T
  15 instance fromInt        T
  16
  17 instance toString       T
  18 instance fromString     T