Vector t

Universal vector.

vector#1cb5c415 {t:Type} # [ t ] = Vector t;

Constructors

Constructor Description
vector A universal vector constructor.