Struct ferrite_session::internal::protocol::Lock [−][src]
pub struct Lock<F> where
F: SharedRecApp<SharedToLinear<F>>, { /* fields omitted */ }
Trait Implementations
impl<F> Protocol for Lock<F> where
F: Protocol,
F: SharedRecApp<SharedToLinear<F>>,
F::Applied: Protocol,
Auto Trait Implementations
impl<F> !RefUnwindSafe for Lock<F>
impl<F> Send for Lock<F> where
<F as SharedRecApp<SharedToLinear<F>>>::Applied: Send,
impl<F> Sync for Lock<F> where
<F as SharedRecApp<SharedToLinear<F>>>::Applied: Send,
impl<F> !UnwindSafe for Lock<F>