ListArg¶
- class hugr.tys.ListArg(elems: list[TypeArg])[source]¶
Bases:
TypeArg
Sequence of type arguments for a
ListParam
.Methods
Resolve types in the argument using the given registry.
Convert the type argument to a model Term.
Attributes
elems
- resolve(registry: ext.ExtensionRegistry) TypeArg [source]¶
Resolve types in the argument using the given registry.