Rewalk.slot_of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
Lines 92-97 of bolt@1.27.0.0/src/rules/pedantic/rewalk.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&start_line=92&end_line=97

import Base

# List.get / head / last / length, String.get / length, Array.get; not List.set
def slot_of(+tt: String) -> Slot:
  slot_pick(
    List.contains(~String, ~String.eq, ["List.get", "List.head", "List.last", "List.length"], tt),
    Bool.or(String.eq(tt, "String.get"), String.eq(tt, "String.length")),
    String.eq(tt, "Array.get"))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.contains
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=Slot
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=slot_pick