Req.body.obj: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/usage/req.bend as Req
Lines 110-116 of cswap-bend-cli@0.1.0.0/usage/req.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/usage/req.bend&start_line=110&end_line=116

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

# data.get on a non-object raises AttributeError in the reference.
def body.obj(j: Json.Json) -> Result<&2, &2, Err, Json.Json>:
  match j:
    case Json.JObj{f}:
      Done{j}
    case _:
      Fail{bad("AttributeError")}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/req.bend&name=Err
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/req.bend&name=bad