def Mag.at

bend-kit-bignum@0.1.0.0 · bigint.bend:43

import Base

43def Mag.at(xs: List<&2, U32>, i: Nat) -> U32:
44  Maybe.default(&2, U32, List.get(&2, U32, xs, i), 0)