Skip to content

Improve Cpp::Destruct documentation and param name#725

Merged
mcbarton merged 1 commit intocompiler-research:mainfrom
aaronj0:fix-destruct-docs
Sep 25, 2025
Merged

Improve Cpp::Destruct documentation and param name#725
mcbarton merged 1 commit intocompiler-research:mainfrom
aaronj0:fix-destruct-docs

Commits

Commits on Sep 25, 2025