Definition jsonIndex (i : indexInfoT) : json :=
  JsonObject [
    ("Type",     jsonIndexType (indexType i));
    ("Count",    JsonInteger (indexCount i));
    ("Semantic", jsonIndexSemantic (indexSemantic i))
  ].
