TypeTypeArg¶

class hugr.tys.TypeTypeArg(ty: Type)[source]¶

A type argument for a TypeTypeParam.

Methods

`resolve`	Resolve types in the argument using the given registry.
`to_model`	Convert the type argument to a model Term.

Attributes

ty

resolve(registry: ext.ExtensionRegistry) → TypeArg[source]¶: Resolve types in the argument using the given registry.

to_model() → Term | Splice[source]¶: Convert the type argument to a model Term.