def xts.init

bend-osdev-cipher-modes@0.1.0.0 · xts.bend:145

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

145# all but the last of p then rest; and the last
146def xts.init(rest: List<&2, M.CmBlock>, p: M.CmBlock) -> List<&2, M.CmBlock>:
147  match rest:
148    case Nil{}:
149      Nil{}
150    case Con{q, r}:
151      Con{p, xts.init(r, q)}