| library /*isNonNullableByDefault*/; | |
| import self as self; | |
| import "dart:core" as core; | |
| import "dart:collection" as col; | |
| class C extends core::Object { | |
| final field core::Set<core::int> s; | |
| constructor •(core::List<core::int> ell) → self::C | |
| : self::C::s = block { | |
| final core::Set<core::int> #t1 = col::LinkedHashSet::•<core::int>(); | |
| for (core::int e in ell) | |
| if(e.{core::int::isOdd}) | |
| #t1.{core::Set::add}{Invariant}(2.{core::num::*}(e)); | |
| } =>#t1, super core::Object::•() | |
| ; | |
| } | |
| static method main() → dynamic {} |