Trait ferrite_session::TypeAppWitnessCont

pub trait TypeAppWitnessCont<F, A, K> where
    F: 'static,
    A: 'static,
    K: 'static, {
    fn on_witness(self: Box<Self>, applied: F::Applied) -> K
    where
        F: TypeApp<A>;
}

Required methods

fn on_witness(self: Box<Self>, applied: F::Applied) -> K where
    F: TypeApp<A>, 

Loading content...

Implementors

Loading content...