def cr.vm.nth.pair

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

import Base
import bend-osdev-word64@0.1.0.0/word64.bend as W

330def cr.vm.nth.pair(ps: List<&2, CrU128>, i: Nat) -> CrU128:
331  match ps:
332    case Nil{}:
333      CrU128{W.W64.zero(), W.W64.zero()}
334    case Con{h, t}:
335      match i:
336        case 0n:
337          h
338        case 1n+j:
339          cr.vm.nth.pair(t, j)