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

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

def theta(+s: T.State) -> T.State:
  T.S{theta_lane(s,0n,0n),theta_lane(s,1n,0n),theta_lane(s,2n,0n),theta_lane(s,3n,0n),theta_lane(s,4n,0n),theta_lane(s,0n,1n),theta_lane(s,1n,1n),theta_lane(s,2n,1n),theta_lane(s,3n,1n),theta_lane(s,4n,1n),theta_lane(s,0n,2n),theta_lane(s,1n,2n),theta_lane(s,2n,2n),theta_lane(s,3n,2n),theta_lane(s,4n,2n),theta_lane(s,0n,3n),theta_lane(s,1n,3n),theta_lane(s,2n,3n),theta_lane(s,3n,3n),theta_lane(s,4n,3n),theta_lane(s,0n,4n),theta_lane(s,1n,4n),theta_lane(s,2n,4n),theta_lane(s,3n,4n),theta_lane(s,4n,4n)}

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