extract_var_tuple_indices

proveit.extract_var_tuple_indices(indexed_var_tuple)[source]

Given an ExprTuple of only IndexedVar and ExprRange entries, returns an ExprTuple of just the corresponding indices (including ranges of indices and nested ranges of indices).