Trait cut::SharedProtocol

pub trait SharedProtocol: 'static + SealedSharedProtocol + Send { }

Implementors

impl<F> SharedProtocol for LinearToShared<F> where
    F: Protocol + SharedRecApp<SharedToLinear<LinearToShared<F>>>,
    <F as SharedRecApp<SharedToLinear<LinearToShared<F>>>>::Applied: Protocol,