Inductive shapeArray2DT : Set := ShapeArray2D {
  shapeArray2DSizeX : N;
  shapeArray2DSizeY : N;
}.
