eadt/test.icl

   1 module test
   2
   3 import StdGeneric
   4 import T
   5
   6
   7 :: T | T1
   8
   9 generic gDefault a :: a
  10
  11 gDefault{|T|} = T1
  12
  13 Start :: T
  14 Start = T1