Type Definition verified::Eq

type Eq<A, B> = <A as IsEqual<B>>::Output;

Alias for the associated type of IsEqual: Eq<A, B> = <A as IsEqual<B>>::Output