StringParam

class hugr.tys.StringParam[source]

Bases: TypeParam

String 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.