Python A → I-13 → Python B
canonical round-trip equality · source formatting may change
not run
PYTHON A
def add(a, b): return a + b x = add(2, 3)
PYTHON B
ROUND TRIP
Python A → CPython AST → n/I-13 A → t.python → Python AST → w.python → Python B → n/I-13 B → compare
ROUND-TRIP RECEIPT
—
TRANSLATION MAP
—
I13 A
—
I13 B
—