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,String,(->)
15 generic consIndex a :: a -> Int
16 derive consIndex CONS of {gcd_index},UNIT,PAIR,EITHER,OBJECT,Int,Bool,Char,String
18 conses :: [a] | gconses{|*|} a
19 generic gconses a :: Bool -> [a]
20 derive gconses CONS,UNIT,PAIR,EITHER,OBJECT,FIELD,RECORD,Int,Bool,Char,Real,String,(),{},{!},[],[! ],[ !],[!!],(->)