def Vec.pop

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

import Base

100# The last element, and the vector without it. The buffer keeps its size.
101def Vec.pop(~T: Data, v: Vec<T>) -> Vec<T> & Maybe<&2, T>:
102  match v:
103    case VNil{}:
104      (VNil{}, None{})
105    case Vec{+n, buf}:
106      Vec.pop.if(~T, U32.is_zero(n), n, buf)