Decode.finish: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/decode.bend as Decode
Lines 50-52 of bend-toon-codec@0.1.0.0/src/decode.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/decode.bend&start_line=50&end_line=52

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J
import bend-toon-codec@0.1.0.0/src/frame.bend as F

# Close what is still open and take the root.
def finish(+r: Result<&2, &2, String, F.St>, +strict: Bool) -> Result<&2, &2, String, J.Json>:
  root.value(F.pop(fuel(r), r, 0, strict))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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/decode.bend&name=fuel
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/decode.bend&name=root.value
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/frame.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/frame.bend&name=pop
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/json.bend&name=Json