Trait Index 

pub trait Index<N: Nat> {
    type Item;
}

Required Associated Types

type Item

Implementors

impl<H, T> Index<Zero> for Cons<H, T>

type Item = H

impl<H, T, N: Nat> Index<Succ<N>> for Cons<H, T>

where T: Index<N>,

type Item = <T as Index<N>>::Item