Function ferrite_session::with_applied

pub fn with_applied<F, A, K>(
    applied: Applied<F, A>, 
    cont1: Box<dyn TypeAppWitnessCont<F, A, K>>
) -> Box<K> where
    F: 'static,
    A: 'static,
    K: 'static,