whiley_test_file 0.6.2

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


type btup is {int index, int op}

function f(btup b) -> int[]:
    return [b.op, b.index]

public export method test() :
    assume f({index: 2, op: 1}) == [1,2]

---