ExtensionsParam# class hugr.tys.ExtensionsParam[source]# Bases: TypeParam An extension set parameter. Methods to_model Convert the type parameter to a model Term. to_model() → Term[source]# Convert the type parameter to a model Term.
