Echo.put.at: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/echo.bend as Echo
Lines 60-69 of emerging-ezhttp@0.21.0.0/src/echo.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/echo.bend&start_line=60&end_line=69

import Base
import emerging-ezhttp@0.21.0.0/src/qs.bend as Qs

# one stored cookie, once it is known whether it has the new one's name:
# that one takes the new value in its place, any other is kept and the rest
# of the store looked at
def put.at(key: String, old: String, value: String, t: List<&2, Qs.Kv()>,
  hit: Bool, rest: Unit -> List<&2, Qs.Kv()>) -> List<&2, Qs.Kv()>:
  match hit:
    case True{}:
      (key, value) <> t
    case False{}:
      (key, old) <> rest(Unit{})

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=Kv