Permutation.chi_state: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/spec/crypto/keccak/permutation.bend as Permutation
Lines 69-70 of bend-collections@1.0.0.0/spec/crypto/keccak/permutation.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/spec/crypto/keccak/permutation.bend&start_line=69&end_line=70

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

def chi_state(+s: T.State) -> T.State:
  T.S{chi(at(s,0n),at(s,1n),at(s,2n)),chi(at(s,1n),at(s,2n),at(s,3n)),chi(at(s,2n),at(s,3n),at(s,4n)),chi(at(s,3n),at(s,4n),at(s,0n)),chi(at(s,4n),at(s,0n),at(s,1n)),chi(at(s,5n),at(s,6n),at(s,7n)),chi(at(s,6n),at(s,7n),at(s,8n)),chi(at(s,7n),at(s,8n),at(s,9n)),chi(at(s,8n),at(s,9n),at(s,5n)),chi(at(s,9n),at(s,5n),at(s,6n)),chi(at(s,10n),at(s,11n),at(s,12n)),chi(at(s,11n),at(s,12n),at(s,13n)),chi(at(s,12n),at(s,13n),at(s,14n)),chi(at(s,13n),at(s,14n),at(s,10n)),chi(at(s,14n),at(s,10n),at(s,11n)),chi(at(s,15n),at(s,16n),at(s,17n)),chi(at(s,16n),at(s,17n),at(s,18n)),chi(at(s,17n),at(s,18n),at(s,19n)),chi(at(s,18n),at(s,19n),at(s,15n)),chi(at(s,19n),at(s,15n),at(s,16n)),chi(at(s,20n),at(s,21n),at(s,22n)),chi(at(s,21n),at(s,22n),at(s,23n)),chi(at(s,22n),at(s,23n),at(s,24n)),chi(at(s,23n),at(s,24n),at(s,20n)),chi(at(s,24n),at(s,20n),at(s,21n))}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/spec/crypto/keccak/permutation.bend&name=at
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/spec/crypto/keccak/permutation.bend&name=chi
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/keccak/types.bend&name=State