[−][src]Trait agnes::label::Member
LabelEq
-based membership test for cons-lists. Specifies whether E
is a member (based on
labels) of Self.
Associated Types
Loading content...Implementors
impl<E> Member<E> for Nil
[src]
impl<E, L, V, T> Member<E> for LVCons<L, V, T> where
L: LabelEq<E>,
T: Member<E>,
<L as LabelEq<E>>::Eq: BitOr<<T as Member<E>>::IsMember>,
<<L as LabelEq<E>>::Eq as BitOr<<T as Member<E>>::IsMember>>::Output: Bit,
[src]
L: LabelEq<E>,
T: Member<E>,
<L as LabelEq<E>>::Eq: BitOr<<T as Member<E>>::IsMember>,
<<L as LabelEq<E>>::Eq as BitOr<<T as Member<E>>::IsMember>>::Output: Bit,