TypeVector

class dsviper.TypeVector(element_type)

Bases: object

A class used to represent a vector<element_type> type.

static cast(type: Type) TypeOptional

Return a type vector<element_type> or raise.

description(*, namespace: NameSpace | None = None) str

Return the description.

element_type() Type

Return the element type.

representation(*, namespace: NameSpace | None = None) str

Return the representation.

runtime_id() ValueUUId

Return the uuid assigned by the runtime.

type_code() str

Return the type code.