pub fn eq(type_name: &Ident) -> TokenStream