Stores a tuple of indices. Used by bind() to extract the elements in a tuple.
Definition at line 765 of file tuple.