1 2 3 4 5 6 7 8 9
original.name="Property_Valid_3" ====== >>> main.whiley property nat(int x) -> (bool r): return x >= 0 property natArray(int[] xs) -> (bool r): return all { i in 0..|xs| | nat(xs[i]) } ---