def lc.nth

bend-osdev-cipher-core@0.1.0.0 · cipher_core.bend:225

import Base

225# the element i of bs (False past the end)
226def lc.nth(bs: List<&2, Bool>, i: Nat) -> Bool:
227  match bs:
228    case Nil{}:
229      False{}
230    case Con{h, t}:
231      match i:
232        case 0n:
233          h
234        case 1n+p:
235          lc.nth(t, p)