def key

bolt@1.27.0.0 · src/rules/laws/law.bend:59

import Base

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