1 2 3 4 5 6 7 8 9
original.name="Property_Valid_25" ====== >>> main.whiley property wrap(int x) -> (int[] r): return [x] public export method test(): assert wrap(1) == [1] ---