Type Definition verified::NotEq

type NotEq<A, B> = <A as IsNotEqual<B>>::Output;

Alias for the associated type of IsNotEqual: NotEq<A, B> = <A as IsNotEqual<B>>::Output