charon_lib::transform::simplify_output

Module unbind_item_vars

Source
Expand description

Replace variables bound at the top-level with Free vars. This is for convenience for consumers of the charon ast.

Structs§

Check
UnbindVarVisitor 🔒
Replace variables bound at the top-level with Free vars.