1 2 3 4 5 6 7 8 9 10 11
original.name="Public_Invalid_9" ====== >>> main.whiley type Hidden is (int x) where x >= 5 public method f({Hidden field} x) -> (int r): return 0 --- E411 main.whiley 3,17:22