Follow up to #2755, which added type-safe metadata to the rust lib and centralized the definitions.
We should also define a hugr.metadata submodule in hugr-py and re-export the keys from the rust side using the bindings.
Can we define some safe Protocol for these?
Follow up to #2755, which added type-safe metadata to the rust lib and centralized the definitions.
We should also define a
hugr.metadatasubmodule inhugr-pyand re-export the keys from the rust side using the bindings.Can we define some safe
Protocolfor these?