Type Alias LeEq 

pub type LeEq<A, B> = <A as IsLessOrEqual<B>>::Output;

Alias for the associated type of IsLessOrEqual: LeEq<A, B> = <A as IsLessOrEqual<B>>::Output