Inductive indexArrayT := IndexArray {
  indexElementType : indexTypeT;
  indexElements    : list Z
}.
