Inductive indexInfoT : Set := IndexInfo {
  (** The index type. *)
  indexType: indexTypeT;
  (** The number of indices. *)
  indexCount: Z;
  (** The semantics of indices. *)
  indexSemantic: indexSemanticT
}.
