Definition shapeIndexInfo (shape : shapeT) : option indexInfoT :=
  match shape with
  | SArray1D _ => None
  | SArray2D _ => None
  | SArray3D _ => None
  | SMesh a    => shapeMeshIndex a
  end.
