Type Definition mat::__Quot []

type __Quot<A, B> = <A as Div<B>>::Output;

Alias for the associated type of Div: Quot<A, B> = <A as Div<B>>::Output