1 definition module gCons
6 Radboud University, Nijmegen, The Netherlands
12 generic consName a :: a -> String
13 derive consName CONS of {gcd_name},UNIT,PAIR,EITHER,OBJECT,RECORD,FIELD,Int,Bool,Char,(->)
15 generic consIndex a :: a -> Int
16 derive consIndex CONS of {gcd_index},UNIT,PAIR,EITHER,OBJECT,Int,Bool,Char