Permutation.constant: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/permutation.bend as Permutation
Lines 8-34 of bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/permutation.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/permutation.bend&start_line=8&end_line=34

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

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/types.bend&name=Lane