B2R2


Vector<'TElement> Type

Record fields

Record Field Description

Elements

Full Usage: Elements

Field type: 'TElement[]

The actual elements sequence

Field type: 'TElement[]

Length

Full Usage: Length

Field type: uint32

Length of encoded elements

Field type: uint32

Size

Full Usage: Size

Field type: uint32

Size of the vector in bytes

Field type: uint32