def rc4.ident

bend-osdev-legacy-ciphers@0.1.0.0 · rc4.bend:69

import Base

69# the identity permutation 0 .. 255
70def rc4.ident(n: Nat, +i: U32) -> List<&2, U32>:
71  match n:
72    case 0n:
73      Nil{}
74    case 1n+p:
75      Con{i, rc4.ident(p, U32.add(i, 1))}