law vec_pop_empty

bend-kit-collections@0.1.4.1 · LAWS.bend:422

import Base
import bend-kit-collections@0.1.4.1/vec.bend as V

422law vec_pop_empty:
423  {Pair.snd(V.Vec<U32>, Maybe<&2, U32>, V.Vec.pop(~U32, V.Vec.new(~U32)))
424   == None{} : Maybe<&2, U32>}