Metadata keys are defined as constants in random places, so hard to keep track of. Centralise them. E.g.: https://github.com/CQCL/hugr/blob/01e7ac0000875ff08a902dca356dfc6002857a50/hugr-core/src/envelope.rs#L63
Metadata keys are defined as constants in random places, so hard to keep track of. Centralise them. E.g.:
https://github.com/CQCL/hugr/blob/01e7ac0000875ff08a902dca356dfc6002857a50/hugr-core/src/envelope.rs#L63