| main = <No Member>; | 
 | library from "org-dartlang-test:///lib.dart" as lib { | 
 |  | 
 |   class B extends #lib1::Object { | 
 |     synthetic constructor •() → lib::B* | 
 |       : super #lib1::Object::•() | 
 |       ; | 
 |     method bMethod() → void {} | 
 |     abstract member-signature operator ==(dynamic dynamic) → #lib1::bool*; -> #lib1::Object::== | 
 |   } | 
 | } | 
 | library from "org-dartlang-test:///main.dart" as main { | 
 |  | 
 |   import "org-dartlang-test:///lib.dart"; | 
 |  | 
 |   class A extends lib::B { | 
 |     synthetic constructor •() → main::A* | 
 |       : super lib::B::•() | 
 |       ; | 
 |   } | 
 | } | 
 |  | 
 | And 17 platform libraries: | 
 |  - dart:_builtin | 
 |  - dart:_internal | 
 |  - dart:_vmservice | 
 |  - dart:async | 
 |  - dart:cli | 
 |  - dart:collection | 
 |  - dart:convert | 
 |  - dart:core | 
 |  - dart:developer | 
 |  - dart:ffi | 
 |  - dart:io | 
 |  - dart:isolate | 
 |  - dart:math | 
 |  - dart:mirrors | 
 |  - dart:nativewrappers | 
 |  - dart:typed_data | 
 |  - dart:vmservice_io |