Name _[_]
Definition `_[_]` : overloaded.
(V:val((T:type)^(n:val(int)))) [ (i:val(int)) ] : val(T).
(V:var((T:type)^(n:val(int)))) [ (i:val(int)) ] : var(T)).
Example foo:var(int^10). foo[3]
Defined in types.l
Implementation icode
Infix _[_] : infix(190,none).
Description Select the i'th element of vector V. If V is a variable the second declaration matches and a variable is returned; this can be assigned to or read from. If V is a value the first declaration matches and a value is returned.