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

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

def permute(s: T.State) -> T.State:
  rounds(24n,0n,s)

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