StringVal¶ class hugr.std.prelude.StringVal(v: str)[source]¶ Bases: ExtensionValue Custom value for a string. Methods to_model to_value Convert to a HUGR extension value. type_ Report the type of the value. Attributes v to_value() → Extension[source]¶ Convert to a HUGR extension value. type_() → Type¶ Report the type of the value. Example >>> TRUE.type_() Bool