Target.origin.split: def of bend-kit-router@0.2.0.0
Import: import bend-kit-router@0.2.0.0/target.bend as Target
Lines 141-143 of bend-kit-router@0.2.0.0/target.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-router@0.2.0.0/target.bend&start_line=141&end_line=143

import Base

def origin.split(pair: String & String, authority: Maybe<&2, String>) -> Maybe<&2, Target>:
  (path, q) = pair
  origin(path, q, authority)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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/target.bend&name=Target
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/target.bend&name=origin