Profcmd.show_found: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/profcmd.bend as Profcmd
Lines 83-88 of cswap-bend-cli@0.1.0.0/profcmd.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/profcmd.bend&start_line=83&end_line=88

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/profile.bend as P

def show_found(+json: Bool, +raw: Json.Json, +name: String, +m: Maybe<&2, P.Prof>) -> Cmd.Out:
  match m:
    case None{}:
      err(json, unknown_msg(name))
    case Some{p}:
      show_out(json, raw, p)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out
  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/profcmd.bend&name=err
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profcmd.bend&name=show_out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profcmd.bend&name=unknown_msg
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=Prof