Go backward to Alloc(): Allocation Go up to Allocation

alloc(): Allocation (Binding Form)

Specification: Binds a to a new array with n slots. The contents of the slots are undefined. This binding overrides any previous binding of a.

Constraints: It is illegal to call alloc with n .

Note: This operation is more efficient than the otherwise equivalent form 

a = Array<T>::Alloc(n)