Trait RecApp
ferrite_session::internal::base::public
pub trait RecApp<A>: RecApp<A> { }
impl<A, X> RecApp<A> for X where X: RecApp<A>,