Target.query.pair: def of bend-kit-router@0.2.0.0
Import: import bend-kit-router@0.2.0.0/target.bend as Target
Lines 107-112 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=107&end_line=112

import Base

def query.pair(pair: String & String) -> Maybe<&2, Query>:
  (key, value) = pair
  do Maybe<&2, Query>:
    k : String <- percent(plus(key), False{})
    v : String <- percent(plus(value), False{})
    return Query{k, v}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.pure
  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=Query
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/target.bend&name=percent
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/target.bend&name=plus