Setimp.profile_key_ok: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/setimp.bend as Setimp
Lines 325-331 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=325&end_line=331

import Base

# `profile import` takes only these top-level keys.
def profile_key_ok(ok: Bool, +k: String, rest: Result<&2, &2, String, Unit>) -> Result<&2, &2, String, Unit>:
  match ok:
    case True{}:
      rest
    case False{}:
      Fail{"profile import takes profiles and active_profile only; found '" ++ k ++ "'"}

Uses (5):
  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=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit