1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
original.name="ConstrainedInt_Valid_12" ====== >>> main.whiley type cr1nat is int function f(cr1nat x) -> int: int y = x return y public export method test() : assume f(9) == 9 ---