Inductive extensionT : Set := Extension {
  (** The unique ID of the extension. *)
  extensionId : string;
  (** The major version of the extension. *)
  extensionVersionMajor : Z;
  (** The minor version of the extension. *)
  extensionVersionMinor : Z;
  (** The list of section identifiers covered by the extension. *)
  extensionSections : list Z;
  (** The humanly-readable extension name. *)
  extensionName : string;
  (** The humanly-readable extension description. *)
  extensionDescription : string;
  (** The URI of the specification. *)
  extensionSpecificationURI : string
}.
