Type Definition verified::PartialQuot

type PartialQuot<A, B> = <A as PartialDiv<B>>::Output;

Alias for the associated type of PartialDiv: PartialQuot<A, B> = <A as PartialDiv<B>>::Output