a3/code/Generics/GenMap.dcl

   1 definition module GenMap
   2
   3 import StdGeneric
   4
   5 generic gMap a b :: .a -> .b
   6 derive gMap c, PAIR, EITHER, CONS, FIELD, OBJECT, {}, {!}
   7
   8 derive gMap [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)