Trait Length
hetseq
pub trait Length { type Length: Num; fn len() -> usize { ... } }
type Length: Num
fn len() -> usize
impl Length for List<()> type Length = Z;
impl<H, T> Length for List<(H, T)> where T: Length, type Length = S<<T as Length>::Length>;
impl Length for Queue<()> type Length = Z;
impl<H, T> Length for Queue<(H, T)> where H: Length, type Length = S<<H as Length>::Length>;