BoundedNatParam¶ class hugr.tys.BoundedNatParam(upper_bound: int | None = None)[source]¶ Bases: TypeParam A type parameter indicating a natural number with an optional upper bound. Methods to_model Convert the type parameter to a model Term. Attributes upper_bound to_model() → Term[source]¶ Convert the type parameter to a model Term.