ListParam¶ class hugr.tys.ListParam(param: TypeParam)[source]¶ Bases: TypeParam Type parameter which requires a list of type arguments. Methods to_model Convert the type parameter to a model Term. Attributes param to_model() → Term[source]¶ Convert the type parameter to a model Term.