ListVal# class hugr.std.collections.ListVal(v: list[Value], elem_ty: Type)[source]# Bases: ExtensionValue Constant value for a list of elements. Methods to_value Convert to a HUGR extension value. type_ Report the type of the value. Attributes v ty to_value() → Extension[source]# Convert to a HUGR extension value. type_() → Type# Report the type of the value. Example >>> TRUE.type_() Bool
