Move liftTopLevel() logic into Prism translator#829
Closed
amomchilov wants to merge 5 commits intomasterfrom
Closed
Move liftTopLevel() logic into Prism translator#829amomchilov wants to merge 5 commits intomasterfrom
liftTopLevel() logic into Prism translator#829amomchilov wants to merge 5 commits intomasterfrom
Commits
Commits on Dec 19, 2025
- committed
- committed