feat: HugrView::extract_hugr to extract regions into owned hugrs.
#684
| Job | Run time |
|---|---|
| 10s | |
| 10s |
HugrView::extract_hugr to extract regions into owned hugrs.
#684
| Job | Run time |
|---|---|
| 10s | |
| 10s |