TypeTypeParam¶ class hugr.tys.TypeTypeParam(bound: TypeBound)[source]¶ Bases: TypeParam A type parameter indicating a type with a given boumd. Methods to_model Convert the type parameter to a model Term. Attributes bound to_model() → Term[source]¶ Convert the type parameter to a model Term.