BoundedNatArg¶

class hugr.tys.BoundedNatArg(n: int)[source]¶

A type argument for a BoundedNatParam.

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.

Attributes

n

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

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