def lc.fe.unrun

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

import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as CipherCore

import Base

349def lc.fe.unrun(~RK: Data, ~f: RK -> U32 -> U32, ks: List<&2, RK>, b: LcBlock64) -> LcBlock64:
350  match ks:
351    case Nil{}:
352      b
353    case Con{k, t}:
354      lc.fe.unstep(~RK, ~f, k, lc.fe.unrun(~RK, ~f, t, b))

Uses (4)

Used by (7)