export type Vector = number[];