Run Shared Session
fn run_shared_session<S>(
session: SharedSession<S>
) -> SharedChannel<S>
- Just like
PartialSession
,SharedSession
is an unevaluated shared session type program. run_shared_session
evaluates aSharedSession
and returnsSharedChannel
, a cloneable handle to communicate with the spawned shared process.
Example
let counter_channel = run_shared_session(shared_counter(0));