Data.SBV.Examples.Crypto.RC4
type S
initS
type Key
type RC4
swap
prga
initRC4
keySchedule
keyScheduleString
encrypt
decrypt
rc4IsCorrect