Name ^
Definition (T:type) ^ (n:val(int)) : type
Example int^3
Defined in types.l
Implementation icode
Infix _^_ : infix(160,left).
Description A vector is an ordered collection of elements, and is defined by its base type and size. Elements are numbered from 0 to n-1.
See Also _[_]