Fold.rebuild: def of bend-toon-codec@0.1.0.0 Import: import bend-toon-codec@0.1.0.0/src/fold.bend as Fold Lines 170-176 of bend-toon-codec@0.1.0.0/src/fold.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/fold.bend&start_line=170&end_line=176 import Base import bend-toon-codec@0.1.0.0/src/json.bend as J # An object value with its folded fields, other values unchanged. def rebuild(+v: J.Json, +inner: J.Json) -> J.Json: match v: case J.JObj{fs}: J.JObj{inner} case _: v Uses (1): https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/json.bend&name=Json