ext

HUGR extensions.

Classes

ExplicitBound	An explicit type bound on an OpDef.
Extension	HUGR extension declaration.
ExtensionObject	An object associated with an Extension.
ExtensionRegistry	Registry of extensions.
ExtensionValue	A value defined in an Extension.
FixedHugr	A HUGR used to define lowerings of operations in an OpDef.
FromParamsBound	Calculate the type bound of an OpDef from the join of its parameters at the given indices.
OpDef	Operation definition in an Extension.
OpDefSig	Type signature of an OpDef.
TypeDef	Type definition in an Extension.

Exceptions

NoParentExtension(kind)

Parent extension must be set.