Revision history [back]

I would like to construct a function with return the string "Vrai" or the string 'Faux' selon qu $x>y$ ou $x<=y$. I have tried

cond(x, y)= if bool(x<y)='True' then Print("Accepté") else Print("Rejeté")

but it leads to an error