symantic-parser-0.1.0.20210201: test/Golden/Machine/unit-unit.dump

push (\u1 -> (\u2 -> u2))
<hidden>:
| push Term
| ret
call <hidden>
lift (\u1 -> (\u2 -> u1 u2))
call <hidden>
lift (\u1 -> (\u2 -> u1 u2))
ret