a3/code/Generics/GenDefault.dcl

   1 definition module GenDefault
   2
   3 import StdGeneric
   4
   5 generic gDefault a ::  a
   6
   7 derive gDefault Int, Real, String, PAIR, EITHER, CONS, FIELD, OBJECT
   8
   9 derive gDefault [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
  10