Type Definition verified::Maximum

type Maximum<A, B> = <A as Max<B>>::Output;

Alias for the associated type of Max: Maximum<A, B> = <A as Max<B>>::Output