Inductive fileT := FileT {
  (** The file info. *)
  fileInfo : infoT;
  (** The file data; the array of structure values. *)
  fileData : list structureValueT;
  (** The file index data. *)
  fileIndexData : option (list Z);
  (** The metadata. *)
  fileMetadata : metadataT
}.
