def b64.mget

bend-osdev-cipher-core@0.1.0.0 · PROOF.bend:111

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

111# a block read from 8 bytes is written back as those bytes (on their bits,
112# and then off a list of any length)
113def b64.mget(m: Maybe<&2, L.LcBlock64>, +d: L.LcBlock64) -> L.LcBlock64:
114  match m:
115    case Some{b}:
116      b
117    case None{}:
118      d