library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

static method main() → dynamic {
  core::int b = 1;
  core::int c = 2;
  core::int d = 3;
  core::int e = 4;
  core::int as = 5;
  self::a(b.{core::num::<}(c){(core::num) → core::bool}, d.{core::num::<}(e){(core::num) → core::bool}, as.{core::int::>>}(1){(core::int) → core::int});
}
static method a(core::bool x, core::bool y, core::int z) → void {
  core::print("${x} ${y} ${z}");
}