Qs.get: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/qs.bend as Qs Lines 410-416 of emerging-ezhttp@0.21.0.0/src/qs.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&start_line=410&end_line=416 import Base # the value of the last pair with this name, none when no pair has it def get(ps: List<&2, Kv()>, +name: String) -> Maybe<&2, String>: match ps: case []: None{} case (key, value) <> t: get.pick(get(t, name), value, String.eq(key, name)) 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=Maybe 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=String.eq https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=Kv https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=get.pick