def strs_of

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

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

50def strs_of(items: Json.Json) -> Result<&2, &2, String, List<&2, String>>:
51  match items:
52    case Json.JCons{h, t}:
53      cons_str(item_str(h), strs_of(t))
54    case _:
55      Done{[]}

Uses (6)

Used by (1)