TypeParam

TypeParam#

class hugr.tys.TypeParam(*args, **kwargs)[source]#

Bases: Protocol

A HUGR type parameter.

Methods

to_model

Convert the type parameter to a model Term.

to_model() Term[source]#

Convert the type parameter to a model Term.