Case 004
Closures (nested functions)
A nested def captures the enclosing parameter n (lexical closure).
ok: true — verified live via pnpm eml roundtrip: the supported nested-function subset reaches the Python fixpoint.updated 2026-07-19
EML
emldef adder(n):
def add(x):
return x + n
add(10) => r
return r
adder(5) => out
out^0Python (deterministic transpilation)
pythondef adder(n):
def add(x):
return x + n
r = add(10)
return r
out = adder(5)
print(out)stdout (executed)
text15Trace event types
eml:run:starteml:defeml:calleml:defeml:calleml:returneml:assigneml:returneml:assigneml:outputeml:run:done