The <#4292#>display<#4292#> is a construct serving to denote values for composed types (structures and rows) and, in conjunction with the <#4293#>abstractor<#4293#>, for abstract types.
(315,060)<#4651#>
(000,050)<#4601#>display<#4601#>
If the <#4311#>display<#4311#> is used to denote a row, the number of its constituent <#4312#>expressions<#4312#> has to be equal to the <#4313#>cardinality<#4313#> of the row, whereas each <#4314#>expression<#4314#> has to be of the type of the elements of the row.
If the <#4315#>display<#4315#> is used to denote a structure, the number of its constituent <#4316#>expressions<#4316#> has to be the same as the number of <#4317#>fields<#4317#> of the structure, whereas each <#4318#>expression<#4318#> has to be of the type of the corresponding field of the structure.
The <#4319#>display<#4319#> is executed by executing its constituent <#4320#>expressions<#4320#> collaterally, and composing a composed object from the values in their textual order.