files/practicum/LijstOverloading.dcl


1
2
3
4
5
6
7
8
9
10
11

definition module LijstOverloading

import StdEnv

instance zero [a] | zero a
instance one  [a] | one  a
instance ~    [a] | ~    a
instance +    [a] | +    a
instance -    [a] | -    a
instance *    [a] | *    a
instance /    [a] | /    a