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


type binary is {int op, expr left, expr right}
type expr is int | binary

public export method test() :
    binary e = {op: 1, left: 1, right: 2}
    assert e.op == 1
    assert e.left == 1
    assert e.right == 2

---