6.3 Extended rows operators

The following operators work on any row mode, denoted below using the pseudo-mode rows.

Operator: elems = (rows a) int

Monadic operator that yields the number of elements implied by the first bound pair of the descriptor of the value of a.

Operator: elems = (int n, rows a) int

Dyadic operator that yields the number of elements implied by the n-th bound pair of the descriptor of the value of a.