def cr.vm.at.go

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

import Base

76def cr.vm.at.go(xs: List<&2, U32>, i: Nat) -> U32:
77  match xs:
78    case Nil{}:
79      0
80    case Con{h, t}:
81      match i:
82        case 0n:
83          h
84        case 1n+p:
85          cr.vm.at.go(t, p)