def cr.vm.at

bend-osdev-crypto@0.1.0.0 · vmac.bend:87

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

87def cr.vm.at(+xs: List<&2, U32>, +i: Nat) -> U32:
88  B.byte(cr.vm.at.go(xs, i))