ListParam

ListParam#

class hugr.tys.ListParam(param: TypeParam)[source]#

Bases: TypeParam

Type parameter which requires a list of type arguments.

Methods

to_model

Convert the type parameter to a model Term.

Attributes

param

to_model() Term[source]#

Convert the type parameter to a model Term.