Inductive shapeArray3DT : Set := ShapeArray3D {
  shapeArray3DSizeX : N;
  shapeArray3DSizeY : N;
  shapeArray3DSizeZ : N;
}.
