feat: HugrView::extract_hugr to extract regions into owned hugrs.#1173
Merged
aborgna-q merged 1 commit intomainfrom ab/extract_hugrJun 6, 2024
+65-3
HugrView::extract_hugr to extract regions into owned hugrs.#1173