[]
Length():
=
Length
Specification: Returns the number of slots of array a.
Constraints: It is illegal to apply Length to an unbound a.
Complexity: O(1).