Synonym-declarations

<#3268#>Synonym-declarations<#3268#> bind either a <#3269#>name<#3269#> to a <#3270#>denotation<#3270#> (making that name synonymous with that <#3271#>denotation<#3271#>) or a <#3272#>type-name<#3272#> to a <#3273#>type-declarer<#3273#> (making that <#3274#>type-name<#3274#> synonymous to that <#3275#>type-declarer<#3275#>).

(315,100)<#4621#> (000,090)<#4407#>synonym-declaration<#4407#> 87 (000,070)<#4408#>(1,0)<#3277#>030<#3277#> <#4962#>(40,010)<#4965#>LET<#4965#><#4962#> (40,010) (1,0)<#3280#>5<#3280#><#4408#> (075,060)<#3281#>(20,20)[r]<#3281#> 88 (295,040)<#3282#>(20,20)[r]<#3282#> (295,050)<#4409#>(-1,0)<#3283#>125<#3283#><#4409#> (025,050)<#4410#>(1,0)<#3284#>135<#3284#> <#4971#>(10,010)<#4974#>,<#4974#><#4971#> (10,010) <#4410#> (025,040)<#3287#>(20,20)[l]<#3287#> 89 (025,030)<#4411#>(1,0)<#3288#>005<#3288#><#4976#>#tex2html_wrap6427#(100,010)<#4977#>synonym-name<#4977#><#4976#> (1,0)<#3291#>030<#3291#> <#4983#>(010,010)<#4986#>=<#4986#><#4983#> (010,010) (1,0)<#3294#>030<#3294#><#4988#>#tex2html_wrap6437#(060,010)<#4989#>denotation<#4989#><#4988#> (1,0)<#3297#>060<#3297#><#4411#> 90 (015,040)<#4412#>(0,-1)<#3298#>20<#3298#><#4412#> (025,020)<#3299#>(20,20)[lb]<#3299#> (265,020)<#3300#>(20,20)[rb]<#3300#> (285,020)<#3301#>(20,20)[lt]<#3301#> 91 (025,010)<#4413#>(1,0)<#3302#>005<#3302#><#4991#>#tex2html_wrap6441#(100,010)<#4992#>synonym-type-name<#4992#><#4991#> (1,0)<#3305#>030<#3305#> <#4998#>(010,010)<#5001#>=<#5001#><#4998#> (010,010) (1,0)<#3308#>030<#3308#><#5003#>#tex2html_wrap6451#(060,010)<#5004#>type-declarer<#5004#><#5003#> (1,0)<#3311#>005<#3311#><#4413#> 92 <#4621#>

The synonym has all the properties of the <#3312#>denotation<#3312#> or <#3313#>type-declarer<#3313#> it is bound to - it may be used at all places where that would be valid, with the same meaning.