def post
import bend-toon-codec@0.1.0.0/src/decode.bend as Decodeimport Base
import bend-toon-codec@0.1.0.0/src/json.bend as J
162# Quoted-key markers come off; with path expansion the dotted keys unfold.
163def post(+expand: Bool, +strict: Bool, +r: Result<&2, &2, String, J.Json>) -> Result<&2, &2, String, J.Json>:
164 match r:
165 case Fail{e}:
166 Fail{e}
167 case Done{v}:
168 post.pick(expand, strict, v)