def Vec.get.fin
import bend-kit-collections@0.1.4.1/vec.bend as Vecimport Base
54def Vec.get.fin(~T: Data, n: U32, r: Array<T> & T) -> Vec<T> & Maybe<&2, T>:
55 (buf, x) = r
56 (Vec{n, buf}, Some{x})
import bend-kit-collections@0.1.4.1/vec.bend as Vecimport Base
54def Vec.get.fin(~T: Data, n: U32, r: Array<T> & T) -> Vec<T> & Maybe<&2, T>:
55 (buf, x) = r
56 (Vec{n, buf}, Some{x})