Type Definition verified::Minimum

type Minimum<A, B> = <A as Min<B>>::Output;

Alias for the associated type of Min: Minimum<A, B> = <A as Min<B>>::Output