∀ {imports importedBy imports_1 importedBy_1 : Lean.Server.Watchdog.ImportMap},
  { imports := imports, importedBy := importedBy } = { imports := imports_1, importedBy := importedBy_1 } →
    imports = imports_1 ∧ importedBy = importedBy_1