1 2 3 4 5 6 7 8 9 10 11
original.name="Reference_Valid_2" ====== >>> main.whiley public export method test(): &bool[] b = new [true, false, true] bool x = (*b)[1] assume x == false ---