Skip to content

GitLab

C
cduce
Switch branch/tag
Find file Normal viewHistoryPermalink
IDEAS 102 Bytes
Newer Older
Pietro Abate's avatar
[r2002-10-10 09:11:23 by cvscast] Initial revision  
Pietro Abate committed
1 2 
- Define a 'widening functions'  (types -> types) such two
  equivalent types become physically equal