whiley_test_file 0.6.2

original.name="ConstrainedRecord_Valid_1"
======
>>> main.whiley
final int RET = 169
final int NOP = 0

type unitCode is (int x) where x == NOP || x == RET

type UNIT is {unitCode op}

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

public export method test() :
    int[] bytes = f({op: (unitCode) NOP})
    assume bytes == [NOP]

---