Value.find.at: def of emerging-ezjson@1.3.0.0 Import: import emerging-ezjson@1.3.0.0/src/value.bend as Value Lines 305-315 of emerging-ezjson@1.3.0.0/src/value.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&start_line=305&end_line=315 import Base # the matched value, or the next pair when the key differs def find.at(rest: Json, +key: String, eq: Bool, vv: Json) -> Json: match rest key eq vv: case r k True{} val: val case JPair{k2, v2, r2} k False{} val: find.at(r2, k, find.eq(k2, k), v2) case JBind{src, n, v2, r2} k False{} val: find.at(r2, k, span.eq(src, n, k), v2) case r k s val: JNull{} Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=find.eq https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=span.eq