Modes.cr.cons_m: def of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/modes.bend as Modes
Lines 122-128 of bend-osdev-crypto@0.1.0.0/modes.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/modes.bend&start_line=122&end_line=128

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe