Module hugr_core::hugr::rewrite::insert_identity

Implementation of the InsertIdentity operation.

Structs

• IdentityInsertion
  Specification of a identity-insertion operation.

Enums

• IdentityInsertionError
  Error from an IdentityInsertion operation.