Define a function f(x) = x2 - 1, where x is a real number. Add a line showing types.

 

    [Language: Cinnameg  Kind: function definition*]

(*You can define more than one function if you put a semicolon between definitions (but not between cases of one definition). Be sure to define a function before you use it.)