def des.halves
import bend-osdev-legacy-ciphers@0.1.0.0/des.bend as Desimport Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
141# 64 bits as halves: the first 32 (most significant first) are l
142def des.halves(bs: List<&2, Bool>) -> LcDesHalves:
143 +rv = L.lc.rev_bits(bs, Nil{})
144 LcDesHalves{U32{L.lc.word_lsb(32n, L.lc.drop_bits(32n, rv))}, U32{L.lc.word_lsb(32n, rv)}}