ConstParam¶ class hugr.tys.ConstParam(ty: Type)[source]¶ Bases: TypeParam Type parameter which requires a constant value. Methods to_model Convert the type parameter to a model Term. Attributes ty to_model() → Term[source]¶ Convert the type parameter to a model Term.