Inductive PlatformT := Platform {
  platformArch : ArchitectureNameT;
  platformOS   : OperatingSystemNameT
}.
