hugr_core::hugr::patch

Module insert_identity

Source
Expand description

Implementation of the InsertIdentity operation.

Structs§

IdentityInsertion
Specification of a identity-insertion operation.

Enums§

IdentityInsertionError
Error from an IdentityInsertion operation.