def sp.tl

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

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

312def sp.tl(bs: List<&2, M.CmBlock>) -> List<&2, M.CmBlock>:
313  match bs:
314    case Nil{}:
315      Nil{}
316    case Con{b, t}:
317      t