anchor.diff:    // dom/dom_frog.dart is a placeholder for dartium dom
     "dom_deprecated": const LibraryInfo(
         "dom/dom_dart2js.dart",
  +      implementation: true,
         dart2jsPath: "dom/dart2js/dom_dart2js.dart",
  -      internal: true),
  +      documented: false),
   
     "html": const LibraryInfo(
         "html/html_dartium.dart",
  
positive.code:    */
    final bool implementation;
  
    const LibraryInfo(this.path, [this.category = "Shared",
             this.dart2jsPath, this.dart2jsPatchPath,
             this.implementation = false, this.internal = false]);
  }
  
negative.code:   "_js_helper": const LibraryInfo(
        "compiler/implementation/lib/js_helper.dart",
        category: "Internal",
        documented: false,
        platforms: DART2JS_PLATFORM),
  
    // Used by dart2js
    "_interceptors": const LibraryInfo(
        "compiler/implementation/lib/interceptors.dart",
        category: "Internal",
        documented: false,
        platforms: DART2JS_PLATFORM),
  };
  
  /**
  