SequenceArg#
- class hugr.tys.SequenceArg(elems: list[TypeArg])[source]#
Bases:
TypeArg
Sequence of type arguments, for a
ListParam
orTupleParam
.Methods
Resolve types in the argument using the given registry.
Attributes
elems
- resolve(registry: ext.ExtensionRegistry) TypeArg [source]#
Resolve types in the argument using the given registry.