1 2 3 4 5 6
original.name="Template_Invalid_2" ====== >>> main.whiley type nat<int> is (int x) where x >= 0 --- E300 main.whiley 1,9:11