Inductive structureT : Set := StructureT {
  (** The list of components in declaration order. *)
  structureComponents : list componentT;
}.
