def sp.hd

bend-osdev-cipher-modes@0.1.0.0 · PROOF.bend:305

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

305def sp.hd(bs: List<&2, M.CmBlock>) -> M.CmBlock:
306  match bs:
307    case Nil{}:
308      M.CmBlock.zero()
309    case Con{b, t}:
310      b