def tdes_key

bend-osdev-legacy-ciphers@0.1.0.0 · check.bend:80

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-legacy-ciphers@0.1.0.0/des.bend as D
import bend-osdev-legacy-ciphers@0.1.0.0/tdes.bend as T

80def tdes_key(o: B.Octets) -> T.LcTdesKey:
81  +z = {D.LcDesKey{Nil{}} : D.LcDesKey}
82  key(~T.LcTdesKey, T.LcTdes.key(o), T.LcTdes.of_des(z, z, z))