Type Alias Gcf 

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

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