def Vec.len

bend-kit-collections@0.1.4.1 · vec.bend:14

import Base

14def Vec.len(~T: Data, v: Vec<T>) -> Vec<T> & U32:
15  match v:
16    case VNil{}:
17      (VNil{}, 0)
18    case Vec{+n, buf}:
19      (Vec{n, buf}, n)