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}

Uses (2)

Used by (1)