Rpcmsg.cmd_ok: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/rpcmsg.bend as Rpcmsg
Lines 120-123 of cswap-bend-cli@0.1.0.0/rpcmsg.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/rpcmsg.bend&start_line=120&end_line=123

import Base

def cmd_ok(+v: String, +name: String) -> Result<&2, &2, Bad, String>:
  Bool.pick(Result<&2, &2, Bad, String>, allowed(v), Done{v},
  Bool.pick(Result<&2, &2, Bad, String>, String.eq(v, "auto") || String.eq(v, "tui") || String.eq(v, "watch") || String.eq(v, "menubar"),
    Fail{Bad{"not_allowed", refused(v)}}, Fail{Bad{"unknown_command", "unknown command '" ++ name ++ "'"}}))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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=String.eq
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/rpcmsg.bend&name=Bad
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/rpcmsg.bend&name=allowed
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/rpcmsg.bend&name=refused