def cmd_ok
cswap-bend-cli@0.1.0.0 · rpcmsg.bend:120
import cswap-bend-cli@0.1.0.0/rpcmsg.bend as Rpcmsg
import Base
120def cmd_ok(+v: String, +name: String) -> Result<&2, &2, Bad, String>:
121 Bool.pick(Result<&2, &2, Bad, String>, allowed(v), Done{v},
122 Bool.pick(Result<&2, &2, Bad, String>, String.eq(v, "auto") || String.eq(v, "tui") || String.eq(v, "watch") || String.eq(v, "menubar"),
123 Fail{Bad{"not_allowed", refused(v)}}, Fail{Bad{"unknown_command", "unknown command '" ++ name ++ "'"}}))