TEST 19

matricola: ______________________________

nome (solo se non si ricorda la matricola): __________________________________

• Si consideri la seguente funzione che calcola il valore assoluto di un numero intero

                    abs 0 = 0
                    abs x = if x > 0 then 1 + abs (1-x) else 1 + abs (-1-x)

        Definire la precedenza indotta dalla definizione, disegnarne il diagramma e dimostrare
        che abs calcola effettivamente la funzione valore assoluto