Type Definition verified::Le

type Le<A, B> = <A as IsLess<B>>::Output;

Alias for the associated type of IsLess: Le<A, B> = <A as IsLess<B>>::Output