MCPcopy Create free account
hub / github.com/Munksgaard/session-types / close

Method close

src/lib.rs:184–195  ·  view source on GitHub ↗

Close a channel. Should always be used at the end of your program.

(self)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 15

clientFunction · 0.80
serverFunction · 0.80
clientFunction · 0.80
mainFunction · 0.80
chan_select_hselectFunction · 0.80
send_strFunction · 0.80
send_usizeFunction · 0.80
clientFunction · 0.80
mainFunction · 0.80
srvFunction · 0.80
cliFunction · 0.80
srvFunction · 0.80

Calls

no outgoing calls

Tested by 3

mainFunction · 0.64
chan_select_hselectFunction · 0.64
mainFunction · 0.64