Definition jsonIndexSemantic (i : indexSemanticT) : json :=
  JsonString match i with
  | INDEX_SEMANTIC_LINE_LIST      => "INDEX_SEMANTIC_LINE_LIST"
  | INDEX_SEMANTIC_LINE_STRIP     => "INDEX_SEMANTIC_LINE_STRIP"
  | INDEX_SEMANTIC_TRIANGLE_LIST  => "INDEX_SEMANTIC_TRIANGLE_LIST"
  | INDEX_SEMANTIC_TRIANGLE_STRIP => "INDEX_SEMANTIC_TRIANGLE_STRIP"
  | INDEX_SEMANTIC_TRIANGLE_FAN   => "INDEX_SEMANTIC_TRIANGLE_FAN"
  end.
