Path.unbend: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pkg/path.bend as Path
Lines 169-172 of ezx@1.11.0.0/src/pkg/path.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pkg/path.bend&start_line=169&end_line=172

import Base

# a module path without its `.bend`, which is how bend names the module
def unbend(+path: String) -> String:
  Bool.pick(String, String.ends_with(path, ".bend"),
    String.take(path, Nat.sub(String.length(path), 5n)), path)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.ends_with
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.take