TupleParam

class hugr.tys.TupleParam(params: list[TypeParam])[source]

Bases: TypeParam

Type parameter which requires a tuple of type arguments.

Methods

to_model

Convert the type parameter to a model Term.

Attributes

params

to_model() Term[source]

Convert the type parameter to a model Term.