Closed
Description
Rewrite the HugrMut layer as a trait for Hugrs, so methods can be called on &mut Hugr references during rewrites.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests
Rewrite the HugrMut layer as a trait for Hugrs, so methods can be called on &mut Hugr references during rewrites.