Frame.set.pick: def of bend-toon-codec@0.1.0.0 Import: import bend-toon-codec@0.1.0.0/src/frame.bend as Frame Lines 79-84 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=79&end_line=84 import Base import bend-toon-codec@0.1.0.0/src/json.bend as J def set.pick(+hit: Bool, +k: String, +v: J.Json, +old: J.Json, +rest: J.Json, +t: J.Json) -> J.Json: match hit: case True{}: J.JField{k, v, t} case False{}: J.JField{k, old, rest} Uses (3): 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=bend-toon-codec@0.1.0.0/src/json.bend&name=Json