pub trait ContextLens<C, A1, A2>: ContextLens<C, A1, A2> where
    C: Context,
    A1: Slot,
    A2: Slot
{ }

Implementors