An <#3210#>operator-declaration<#3210#> follows the pattern of a
<#3211#>procedure-declaration<#3211#>.
(315,040)<#4618#>
(000,030)<#4396#>operator-declaration<#4396#>
77
(000,010)<#4397#>(1,0)<#3213#>020<#3213#><#4910#>#tex2html_wrap6321#(070,010)<#4911#>operator-head<#4911#><#4910#>
(1,0)<#3216#>020<#3216#><#4913#>#tex2html_wrap6325#(070,010)<#4914#>operator-body<#4914#><#4913#>
(1,0)<#3219#>020<#3219#><#4916#>#tex2html_wrap6329#(070,010)<#4917#>operator-tail<#4917#><#4916#>
(1,0)<#3222#>020<#3222#><#4397#>
78
<#4618#>
Only its head and tail are somewhat different.
(315,100)<#4619#>
(000,090)<#4398#>operator-head<#4398#>
79
(000,070)<#4399#>(1,0)<#3224#>030<#3224#><#4919#>#tex2html_wrap6341#(060,010)<#4920#>type-declarer<#4920#><#4919#>
(1,0)<#3227#>030<#3227#> <#4926#>(040,010)<#4929#>OP<#4929#><#4926#> (040,010)
(1,0)<#3230#>005<#3230#><#4399#>
80
(005,060)<#3231#>(20,20)[rt]<#3231#>
(025,060)<#3232#>(20,20)[lb]<#3232#>
(025,050)<#4400#>(1,0)<#3233#>70<#3233#><#4400#>
(095,060)<#3234#>(20,20)[rb]<#3234#>
(115,060)<#3235#>(20,20)[lt]<#3235#>
81
(165,060)<#3236#>(20,20)[rt]<#3236#>
(175,060)<#4401#>(0,-1)<#3237#>020<#3237#><#4401#>
(165,040)<#3238#>(20,20)[rb]<#3238#>
(165,030)<#4402#>(-1,0)<#3239#>140<#3239#><#4402#>
(025,020)<#3240#>(20,20)[l]<#3240#>
82
(025,010)<#4403#>(1,0)<#3241#>005<#3241#><#4931#>#tex2html_wrap6351#(070,010)<#4932#>operator-name<#4932#><#4931#>
(1,0)<#3244#>030<#3244#><#4934#>#tex2html_wrap6355#(100,010)<#4935#>formal-parameters-pack<#4935#><#4934#>
(1,0)<#3247#>030<#3247#> <#4941#>(010,010)<#4944#>:<#4944#><#4941#> (010,010)
(1,0)<#3250#>030<#3250#><#4403#>
83
<#4619#>
An <#3251#>operator-head<#3251#> must contain either one (for <#3252#>monadic-operators<#3252#>)
or two (for <#3253#>dyadic-operators<#3253#>) parameters.
(315,050)<#4620#>
(000,040)<#4404#>operator-tail<#4404#>
84
(000,020)<#4405#>(1,0)<#3255#>030<#3255#> <#4950#>(040,010)<#4953#>ENDOP<#4953#><#4950#> (040,010)
(1,0)<#3258#>030<#3258#><#4955#>#tex2html_wrap6385#(080,010)<#4956#>operator-name<#4956#><#4955#>
(1,0)<#3261#>030<#3261#><#4405#>
85
(075,010)<#3262#>(20,20)[rt]<#3262#>
(095,010)<#3263#>(20,20)[lb]<#3263#>
(095,000)<#4406#>(1,0)<#3264#>90<#3264#><#4406#>
(185,010)<#3265#>(20,20)[rb]<#3265#>
(205,010)<#3266#>(20,20)[lt]<#3266#>
86
<#4620#>