Inductive ModuleT :=
  Module : FileNameT -> HashT -> ModuleT.
