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
