def cr.cons_m

bend-osdev-crypto@0.1.0.0 · modes.bend:122

import Base

122# a block onto a list of blocks, None if either is missing
123def cr.cons_m(~Blk: Data, m: Maybe<&2, Blk>, acc: Maybe<&2, List<&2, Blk>>) -> Maybe<&2, List<&2, Blk>>:
124  match m acc:
125    case Some{b} Some{l}:
126      Some{Con{b, l}}
127    case _ _:
128      None{}