IntVal# class hugr.std.int.IntVal(v: int, width: int = 5)[source]# Bases: ExtensionValue Custom value for an integer. Methods to_value Convert to a HUGR extension value. type_ Report the type of the value. Attributes width v to_value() → Extension[source]# Convert to a HUGR extension value. type_() → Type# Report the type of the value. Example >>> TRUE.type_() Bool
