~/jendhub

def ad.blk.at

bend-osdev-aead@0.1.0.0 · aesround.bend:32

import bend-osdev-aead@0.1.0.0/aesround.bend as Aesround
import Base

32def ad.blk.at(xs: List<&2, U32>, i: Nat) -> U32:
33  match xs:
34    case Nil{}:
35      0
36    case Con{h, t}:
37      match i:
38        case 0n:
39          h
40        case 1n+p:
41          ad.blk.at(t, p)

Uses (3)

Used by (1)