def constant
bend-collections@1.0.0.0 · spec/crypto/keccak/permutation.bend:80
import bend-collections@1.0.0.0/spec/crypto/keccak/permutation.bend as Permutation
import Base
import bend-collections@1.0.0.0/src/crypto/keccak/types.bend as T
80def constant(i: Nat) -> T.Lane:
81 match i:
82 case 0n: T.W{1,0}
83 case 1n: T.W{32898,0}
84 case 2n: T.W{32906,2147483648}
85 case 3n: T.W{2147516416,2147483648}
86 case 4n: T.W{32907,0}
87 case 5n: T.W{2147483649,0}
88 case 6n: T.W{2147516545,2147483648}
89 case 7n: T.W{32777,2147483648}
90 case 8n: T.W{138,0}
91 case 9n: T.W{136,0}
92 case 10n: T.W{2147516425,0}
93 case 11n: T.W{2147483658,0}
94 case 12n: T.W{2147516555,0}
95 case 13n: T.W{139,2147483648}
96 case 14n: T.W{32905,2147483648}
97 case 15n: T.W{32771,2147483648}
98 case 16n: T.W{32770,2147483648}
99 case 17n: T.W{128,2147483648}
100 case 18n: T.W{32778,0}
101 case 19n: T.W{2147483658,2147483648}
102 case 20n: T.W{2147516545,2147483648}
103 case 21n: T.W{32896,2147483648}
104 case 22n: T.W{2147483649,0}
105 case 23n: T.W{2147516424,2147483648}
106 case _: T.W{0,0}