Inductive PlatformModuleT :=
  PlatformModule : FileNameT -> HashT -> PlatformT -> PlatformModuleT.
