law vec_pop_to_list

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

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

426law vec_pop_to_list:
427  {V.Vec.to_list(~U32, Pair.fst(V.Vec<U32>, Maybe<&2, U32>,
428     V.Vec.pop(~U32, V.Vec.from_list(~U32, [1, 2, 3]))))
429   == [1, 2] : List<&2, U32>}