IDEAS 102 Bytes
Newer Older
1 2
- Define a 'widening functions'  (types -> types) such two
  equivalent types become physically equal