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.
