Synonyms

9.3 Synonyms

TBoS p.248

Synonyms allow the use of shorthands for types. All types are normalised to their definiens.

(1+) (synonyms coor (number * number))
synonyms : symbol

(2+) (@p 1 2) : coor
(@p 1 2) : (number * number)

4. The Core Language

4.6 Sequences

5 Defining Functions

6. Packages

7. Shen-YACC

8. Shen Prolog

9. Types

10 Sequent Calculus

10.2 Exotic Types