Constant hugr_core::std_extensions::ptr::EXTENSION_ID

source ยท 
pub const EXTENSION_ID: ExtensionId;
Expand description

Name of pointer extension.