Inductive ItemT :=
  | ItemModule         : ModuleT         -> ItemT
  | ItemPlatformModule : PlatformModuleT -> ItemT
  | ItemResource       : ResourceT       -> ItemT
  .
