SynonymsΒΆ

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

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

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

Further Reading