Supporting vtables for closures#871

Closed

Sam-Ni wants to merge 6 commits intoAeneasVerif:mainfrom

ssyram:vtable-closure

Commits on Oct 22, 2025

initial vtable support for closures

ssyram
authored and
Sam-Ni
committed
minor: cargo fmt
Sam-Ni
committed