Type Definition verified::Gcf

type Gcf<A, B> = <A as Gcd<B>>::Output;

Alias for the associated type of Gcd: Gcf<A, B> = <A as Gcd<B>>::Output>