ExtensionPointer

class hugr.package.ExtensionPointer(package: Package, extension_index: int)

Bases: PackagePointer

Pointer to an extension in a package.

Parameters:

• package – Package pointed to.

• extension_index – Index of the extension in the package.

Methods

Attributes

extension	Extension definition.
extension_index	Index of the extension in the package.
package	Package pointed to.

property extension: Extension

Extension definition.

extension_index: int

Index of the extension in the package.

package: Package

Package pointed to.