Hola.
El primer parámetro de "o" tiene que ser entonces un Set (fijate que al hacer el Check lo primero es forall X:Set) y luego tenés los 3 argumentos que mencionás.
Los argumentos se pasan sin las flechas: (o A id id x).
Saludos, Carlos
Hola.
El primer parámetro de "o" tiene que ser entonces un Set (fijate que al hacer el Check lo primero es forall X:Set) y luego tenés los 3 argumentos que mencionás.
Los argumentos se pasan sin las flechas: (o A id id x).
Saludos, Carlos