def list.u32
import bend-kit-journal@0.3.1.0/journal.bend as Journalimport Base
175def list.u32(xs: List<&2, U32>, +at: U32) -> List<&2, U32> & U32:
176 +ys = xs
177 (ys, list.field(List.drop(&2, U32, ys, U32.to_nat(at))))
import bend-kit-journal@0.3.1.0/journal.bend as Journalimport Base
175def list.u32(xs: List<&2, U32>, +at: U32) -> List<&2, U32> & U32:
176 +ys = xs
177 (ys, list.field(List.drop(&2, U32, ys, U32.to_nat(at))))