Frame.set: def of bend-toon-codec@0.1.0.0 Import: import bend-toon-codec@0.1.0.0/src/frame.bend as Frame Lines 86-92 of bend-toon-codec@0.1.0.0/src/frame.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/frame.bend&start_line=86&end_line=92 import Base import bend-toon-codec@0.1.0.0/src/json.bend as J import bend-toon-codec@0.1.0.0/src/head.bend as Hd # Replace the value under `k`, keeping its place. def set(+k: String, +v: J.Json, +fs: J.Json) -> J.Json: match fs: case J.JField{k2, old, t}: set.pick(Hd.keq(k, k2), k2, v, old, set(k, v, t), t) case _: fs Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/frame.bend&name=set.pick https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/head.bend&name=keq https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/json.bend&name=Json