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.
