Type Definition verified::Mod

type Mod<A, B> = <A as Rem<B>>::Output;

Alias for the associated type of Rem: Mod<A, B> = <A as Rem<B>>::Output