def constant

bend-collections-laws-crypto@1.0.0.0 · src/crypto/keccak/permutation.bend:8

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/types.bend as T

8def constant(i: Nat) -> T.Lane:
9  match i:
10    case 0n: T.W{1,0}
11    case 1n: T.W{32898,0}
12    case 2n: T.W{32906,2147483648}
13    case 3n: T.W{2147516416,2147483648}
14    case 4n: T.W{32907,0}
15    case 5n: T.W{2147483649,0}
16    case 6n: T.W{2147516545,2147483648}
17    case 7n: T.W{32777,2147483648}
18    case 8n: T.W{138,0}
19    case 9n: T.W{136,0}
20    case 10n: T.W{2147516425,0}
21    case 11n: T.W{2147483658,0}
22    case 12n: T.W{2147516555,0}
23    case 13n: T.W{139,2147483648}
24    case 14n: T.W{32905,2147483648}
25    case 15n: T.W{32771,2147483648}
26    case 16n: T.W{32770,2147483648}
27    case 17n: T.W{128,2147483648}
28    case 18n: T.W{32778,0}
29    case 19n: T.W{2147483658,2147483648}
30    case 20n: T.W{2147516545,2147483648}
31    case 21n: T.W{32896,2147483648}
32    case 22n: T.W{2147483649,0}
33    case 23n: T.W{2147516424,2147483648}
34    case _: T.W{0,0}