| library; | 
 | import self as self; | 
 | import "dart:core" as core; | 
 |  | 
 | abstract sealed class Class extends core::Object { | 
 |   final field core::int value; | 
 |   constructor •(core::int value) → self::Class | 
 |     : self::Class::value = value, super core::Object::•() | 
 |     ; | 
 | } | 
 | class A extends self::Class { | 
 |   constructor •(core::int value) → self::A | 
 |     : super self::Class::•(value) | 
 |     ; | 
 |   static method _#new#tearOff(core::int value) → self::A | 
 |     return new self::A::•(value); | 
 | } | 
 | class B extends self::Class { | 
 |   constructor •(core::int value) → self::B | 
 |     : super self::Class::•(value) | 
 |     ; | 
 |   static method _#new#tearOff(core::int value) → self::B | 
 |     return new self::B::•(value); | 
 | } |