Upgrade.reimport.head: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgrade Lines 174-179 of ezx@1.11.0.0/src/ledger/upgrade.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&start_line=174&end_line=179 import Base # what an import line that names a package starts with: `import /`. # `import 0x/.bend as P` is the only shape bend has, and the match # is exact at column 0, so an indented import is not rewritten, and neither is # a line that names the hash with no `/` after it. def reimport.head(+hash: String) -> String: String.append("import ", String.append(hash, "/")) 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