Trait ListIncludes 

pub trait ListIncludes<Required, Proof> { }

Every element of the Cons list Required is in the list Self.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<List, Head, Tail, HeadProof, TailProof> ListIncludes<Cons<Head, Tail>, (HeadProof, TailProof)> for List

where List: ListContains<Head, HeadProof> + ListIncludes<Tail, TailProof>,

impl<List> ListIncludes<Nil, ()> for List