Trait ScopeContains 

pub trait ScopeContains<Table, Witness> { }

Type-level table membership in a scope list.

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<Head, Tail, Table, Witness> ScopeContains<Table, ScopeThere<Witness>> for Cons<Head, Tail>

where Tail: ScopeContains<Table, Witness>,

impl<Head, Tail> ScopeContains<Head, ScopeHere> for Cons<Head, Tail>