Rpcmsg.cut_error: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/rpcmsg.bend as Rpcmsg
Lines 196-202 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=196&end_line=202

import Base

# The text after the first `error: ` in `s`, else `whole`.
def cut_error(s: String, +whole: String) -> String:
  match s:
    case SNil{}:
      whole
    case SCon{+c, +t}:
      cut_pick(String.starts_with(s, "error: "), String.drop(s, 7n), cut_error(t, whole))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.starts_with
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/rpcmsg.bend&name=cut_pick