Law.key: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/laws/law.bend as Law
Lines 59-62 of bolt@1.27.0.0/src/rules/laws/law.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/laws/law.bend&start_line=59&end_line=62

import Base

# an item's key: its name, a space, its file's path. A name has no space, so
# no two items share one, and no item has the empty key
def key(+pp: String, name: String) -> String:
  name ++ " " ++ pp

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append