def lc.block_of

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

import Base

376def lc.block_of(xs: List<&2, U32>) -> Maybe<&2, LcBlock64>:
377  match xs:
378    case Con{a0, Con{a1, Con{a2, Con{a3, Con{a4, Con{a5, Con{a6, Con{a7, Nil{}}}}}}}}}:
379      Some{lc.block8(a0, a1, a2, a3, a4, a5, a6, a7)}
380    case _:
381      None{}