def rc4_state

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

import bend-osdev-legacy-ciphers@0.1.0.0/check.bend as Check

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
import bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend as R

156def rc4_state(k: B.Octets) -> R.LcRc4State:
157  key(~R.LcRc4State, R.LcRc4.start(k), R.LcRc4State{L.LcLeaf{0}, 0, 0})

Uses (5)

Used by (2)