TypeParam¶

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

Bases: Protocol

A HUGR type parameter.

Methods

Convert the type parameter to a model Term.

to_model() → Term[source]¶: Convert the type parameter to a model Term.