hibana 0.9.7

Choreographic programming in Rust with no_std and no heap allocation
1
2
3
4
5
6
7
8
9

use super::Port;
use crate::{rendezvous::core::EndpointLeaseRecord, transport::Transport};

impl<'r, T: Transport + 'r> Port<'r, T> {
    #[inline]
    pub(crate) fn seal_session_membership(&self) {
        EndpointLeaseRecord::seal_session_membership(self.endpoint_lease_storage, self.sid);
    }
}