Type Definition verified::GrEq

type GrEq<A, B> = <A as IsGreaterOrEqual<B>>::Output;

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