def after_recv
import cswap-bend-cli@0.1.0.0/server.bend as Serverimport Base
110def after_recv(r: Socket & Result<&1, &1, U32 & String, Maybe<&1, String>>, buf: String) -> CP:
111 (s, res) = r
112 c_recv(res, s, buf)
import cswap-bend-cli@0.1.0.0/server.bend as Serverimport Base
110def after_recv(r: Socket & Result<&1, &1, U32 & String, Maybe<&1, String>>, buf: String) -> CP:
111 (s, res) = r
112 c_recv(res, s, buf)