TypeTypeArg

class hugr.tys.TypeTypeArg(ty: Type)

Bases: TypeArg

A type argument for a TypeTypeParam.

Methods

resolve

Resolve types in the argument using the given registry.

Attributes

ty

resolve(registry: ext.ExtensionRegistry) → TypeArg

Resolve types in the argument using the given registry.