| library; | |
| import self as self; | |
| import "dart:core" as core; | |
| typedef A<contravariant T extends core::num* = core::num*> = (T*) →* dynamic; | |
| static field core::List<(core::num*) →* dynamic>* a = <(core::num*) →* dynamic>[]; | |
| static method main() → dynamic {} |