Inductive shapeArray1DT : Set := ShapeArray1D {
  shapeArray1DLength : N;
}.
