StringParam¶

class hugr.tys.StringParam[source]¶

Bases: TypeParam

String type parameter.

Methods

Convert the type parameter to a model Term.

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