whiley_test_file 0.6.2

original.name="ConstrainedList_Valid_12"
======
>>> main.whiley


function f(int x) -> int[]:
    return [x]

public export method test() :
    assume f(0) == [0]

---