ExtensionValue¶ class hugr.val.ExtensionValue(*args, **kwargs)[source]¶ Bases: Value, Protocol Protocol which types can implement to be a HUGR extension value. Methods to_model to_value Convert to a HUGR extension value. type_ Report the type of the value. to_value() → Extension[source]¶ Convert to a HUGR extension value. type_() → Type[source]¶ Report the type of the value. Example >>> TRUE.type_() Bool