1 2 3 4 5 6 7 8 9 10 11 12 13 14
original.name="Template_Invalid_1" ====== >>> main.whiley type nat<> is (int x) where x >= 0 --- E317 main.whiley 1,8:9 ===== >>> main.whiley 1:2 type nat is (int x) where x >= 0 public export method test(): nat x = 123 assert x == 123 ---