Say I want to get the length of an array A . Normally I would do:
And then use the n in other expressions.
But what if I want to get my n immediately; is there anything of the form
analogous to how I would pull the second element n from an array N using