1 2 3 4 5 6 7 8 9 10
original.name="Property_Valid_24" ====== >>> main.whiley property inc(int x) -> (int r): return x + 1 public export method test(): assert 1 < inc(1) assert inc(0) == 1 ---