Common.local: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/common.bend as Common
Lines 86-90 of bend-lint-pack@0.1.1.0/common.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/common.bend&start_line=86&end_line=90

import Base

# Names
# =====
# The part of a global name after its file's namespace: `b:helper` is `helper`.
def local(+name: String) -> String:
  Maybe.default(&2, String, List.last(&2, String, String.split(name, ':')), name)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.last
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.default
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.split