Inductive shapeMeshT : Set := ShapeMeshT {
  shapeMeshLength : N;
  shapeMeshBounds : option boundsT;
  shapeMeshIndex  : option indexInfoT;
}.
