pub type GrEq<A, B> = <A as IsGreaterOrEqual<B>>::Output;
Alias for the associated type of IsGreaterOrEqual: GrEq<A, B> = <A as IsGreaterOrEqual<B>>::Output
IsGreaterOrEqual
GrEq<A, B> = <A as IsGreaterOrEqual<B>>::Output