1 2 3 4 5 6 7 8 9 10 11
original.name="StaticVar_Valid_4" ====== >>> main.whiley type nat is (int x) where x >= 0 final nat x = 1 public export method test(): assume x == 1 ---