Hola Bruno.
Las dos son correctas pero esencialmente iguales, aunque se escriban de manera diferente los argumentos.
Algunas definiciones diferentes podrían ser (tomando de base el formato de test2, por ejemplo):
Definition test3 (f: A -> A) (g : A -> A) (x : A) := x.
Definition test4 (f: A -> A) (g : A -> A) (x : A) := f x.
Saludos, Carlos