Trait ferrite_session::internal::public::prelude::RecApp

pub trait RecApp<A>: RecApp<A> { }

Implementors

impl<A, X> RecApp<A> for X where
    X: RecApp<A>,