TypeTypeArg¶

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

A type argument for a TypeTypeParam.

Methods

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

Attributes

ty

render(*, extension_version: bool = False, qualified_name: bool = False) → str[source]¶: Render the nested type argument.

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

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