Input.json.parsed: def of bend-kit-camber@0.15.0.1
Import: import bend-kit-camber@0.15.0.1/input.bend as Input
Lines 281-284 of bend-kit-camber@0.15.0.1/input.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-camber@0.15.0.1/input.bend&start_line=281&end_line=284

import Base
import bend-kit-json@0.7.0.0/json.bend as Json

def json.parsed(fuel: Nat, value: Maybe<&1, Json.Val>) -> Result<&2, &1, U32, Json.Val>:
  match value:
    case None{}: Fail{400}
    case Some{value}: checked(~Json.Val, unique(fuel, Some{Value{value, Nil{}}}))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/input.bend&name=Walk
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/input.bend&name=checked
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/input.bend&name=unique
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=Val