Target.body: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ez/target.bend as Target Lines 249-256 of ezx@1.11.0.0/src/ez/target.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/target.bend&start_line=249&end_line=256 import Base # everything after the first colon. `https://host/path` splits into the # scheme and `//host/path`. def body(ps: List<&2, String>) -> String: match ps: case Nil{}: "" case _h <> t: String.join(t, ":") Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join