def ap.nth

bend-osdev-aes@0.1.0.0 · PROOF.bend:35

import bend-osdev-aes@0.1.0.0/PROOF.bend as PROOF

import Base

35def ap.nth(xs: List<&2, U32>, n: Nat) -> U32:
36  match xs n:
37    case Nil{} _:
38      0
39    case Con{x, t} 0n:
40      x
41    case Con{x, t} 1n+p:
42      ap.nth(t, p)

Uses (3)

Used by (1)

bend-osdev-aes@0.1.0.0/PROOF:ap.pick