Path.ups: def of ezx@1.13.0.0 Import: import ezx@1.13.0.0/src/pkg/path.bend as Path Lines 165-167 of ezx@1.13.0.0/src/pkg/path.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/pkg/path.bend&start_line=165&end_line=167 import Base # how many components of a path are climbs def ups(path: String) -> Nat: ups.go(String.split(path, '/')) 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=Nat 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 https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/pkg/path.bend&name=ups.go