def st_nth

bend-ml-llama@0.2.1.0 · main.bend:1617

import bend-ml-llama@0.2.1.0/main.bend as BendMlLlama

import Base

1617def st_nth(xs: List<&2, U32>, k: Nat) -> U32:
1618  match xs k:
1619    case Con{+x, t} 0n:
1620      x
1621    case Con{x, t} 1n+p:
1622      st_nth(t, p)
1623    case Nil{} _:
1624      0

Uses (3)

Used by (2)