Struct lambdaski::S2

pub struct S2<X, Y>(pub PhantomData<(X, Y)>);

Trait Implementations

impl<X, Y, T> A<T> for S2<X, Y> where
    X: A<T>,
    Y: A<T>,
    <X as A<T>>::O: A<<Y as A<T>>::O>, 

type O = <<X as A<T>>::O as A<<Y as A<T>>::O>>::O