1 2 3 4 5 6 7 8 9 10 11 12 13 14
original.name="RecursiveType_Valid_9" ====== >>> main.whiley type nat is int type expr is nat | {int op, expr left, expr right} public export method test() : expr e = 14897 assert e == 14897 ---