TypeArg¶

class hugr.tys.TypeArg(*args, **kwargs)[source]¶

A HUGR type argument, which can be bound to a :class:TypeParam.

Methods

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

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

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.