Permutation.rho_pi: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/spec/crypto/keccak/permutation.bend as Permutation
Lines 66-67 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=66&end_line=67

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

def rho_pi(+s: T.State) -> T.State:
  T.S{rotate(at(s,0n),0n),rotate(at(s,6n),44n),rotate(at(s,12n),43n),rotate(at(s,18n),21n),rotate(at(s,24n),14n),rotate(at(s,3n),28n),rotate(at(s,9n),20n),rotate(at(s,10n),3n),rotate(at(s,16n),45n),rotate(at(s,22n),61n),rotate(at(s,1n),1n),rotate(at(s,7n),6n),rotate(at(s,13n),25n),rotate(at(s,19n),8n),rotate(at(s,20n),18n),rotate(at(s,4n),27n),rotate(at(s,5n),36n),rotate(at(s,11n),10n),rotate(at(s,17n),15n),rotate(at(s,23n),56n),rotate(at(s,2n),62n),rotate(at(s,8n),55n),rotate(at(s,14n),39n),rotate(at(s,15n),41n),rotate(at(s,21n),2n)}

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=rotate
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/keccak/types.bend&name=State