Setimp.prof_known: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/setimp.bend as Setimp
Lines 240-245 of cswap-bend-cli@0.1.0.0/setimp.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/setimp.bend&start_line=240&end_line=245

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

def prof_known(+k: String, +v: Json.Json) -> Result<&2, &2, String, Json.Json>:
  match v:
    case Json.JNull{}:
      Done{Json.JNull{}}
    case _:
      prof_text(k, scal_text(v))

Uses (5):
  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=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/setimp.bend&name=prof_text
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/setimp.bend&name=scal_text