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

Class ChanSelect

src/lib.rs:425–427  ·  view source on GitHub ↗

Heterogeneous selection structure for channels This builds a structure of channels that we wish to select over. This is structured in a way such that the channels selected over cannot be interacted with (consumed) as long as the borrowing ChanSelect object exists. This is necessary to ensure memory safety. The type parameter T is a return type, ie we store a value of some type T that is returned

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected