| 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); |
| } |