def cat

cswap-bend-cli@0.1.0.0 · rpcmsg.bend:84

import cswap-bend-cli@0.1.0.0/rpcmsg.bend as Rpcmsg
import Base

84def cat(x: Result<&2, &2, String, List<&2, String>>, rest: Result<&2, &2, String, List<&2, String>>) -> Result<&2, &2, String, List<&2, String>>:
85  match x rest:
86    case Done{a} Done{b}:
87      Done{List.append(&2, String, a, b)}
88    case Fail{e} _:
89      Fail{e}
90    case _ Fail{e}:
91      Fail{e}

Uses (4)

Used by (1)