@Override
      public Specifier<ModuleRequiresRepr, ModuleRequiresRepr.Diff> requires() {
        return Difference.make(pastModule.myRequires, myRequires);
      }
@Override
      public Specifier<ModuleRequiresRepr, ModuleRequiresRepr.Diff> requires()