ExtensionValue# class hugr.val.ExtensionValue(*args, **kwargs)[source]# Bases: Value, Protocol Protocol which types can implement to be a HUGR extension value. Methods 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