VariableArg¶
- class hugr.tys.VariableArg(idx: int, param: TypeParam)[source]¶
Bases:
TypeArg
A type argument variable.
Methods
Resolve types in the argument using the given registry.
Convert the type argument to a model Term.
Attributes
idx
param
- resolve(registry: ext.ExtensionRegistry) TypeArg ¶
Resolve types in the argument using the given registry.