files/practicum/LijstOverloading.dcl

   1 definition module LijstOverloading
   2
   3 import StdEnv
   4
   5 instance zero [a] | zero a
   6 instance one  [a] | one  a
   7 instance ~    [a] | ~    a
   8 instance +    [a] | +    a
   9 instance -    [a] | -    a
  10 instance *    [a] | *    a
  11 instance /    [a] | /    a