Type Definition verified::Compare

type Compare<A, B> = <A as Cmp<B>>::Output;

Alias for the associated type of Cmp: Compare<A, B> = <A as Cmp<B>>::Output