Router.route.target: def of bend-kit-router@0.2.0.0 Import: import bend-kit-router@0.2.0.0/router.bend as Router Lines 398-403 of bend-kit-router@0.2.0.0/router.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-router@0.2.0.0/router.bend&start_line=398&end_line=403 import Base import bend-kit-router@0.2.0.0/target.bend as Target def route.target(parsed: Maybe<&2, Target.Target>, +ss: List<&2, Segment>) -> Maybe<&2, Map<&2, String>>: match parsed: case None{}: None{} case Some{Target.Target{+got, query, authority, star}}: route.path(star, ss, got) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/router.bend&name=Segment https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/router.bend&name=route.path https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/target.bend&name=Target