[][src]Trait lhlist::LabelEq

pub trait LabelEq<L> {
    type Output: Bool;
}

Label equality.

Checks whether two types that implement Label are the same.

Associated Types

type Output: Bool

True if labels are equal, False otherwise.

Loading content...

Implementors

impl<L, M> LabelEq<M> for L where
    L: Label,
    M: Label,
    L::Uid: IsEqual<M::Uid>,
    <L::Uid as IsEqual<M::Uid>>::Output: ToBool
[src]

type Output = <<L::Uid as IsEqual<M::Uid>>::Output as ToBool>::Output

Loading content...