def u.nth

emerging-ezaudio@0.4.0.0 · src/mp3_enc.bend:22

import Base

22def u.nth(xs: List<&2, U32>, +ii: U32) -> U32:
23  u.nth.m(List.get(&2, U32, xs, U32.to_nat(ii)))