Inductive structureValueT : Set := StructureValue {
  structureComponentValues : list componentValueT;
}.
