def profile_key_ok

cswap-bend-cli@0.1.0.0 · setimp.bend:325

import Base

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