 The compiler will issue a warning that the pattern is inexhaustive, and if, at runtime, a codice_6 is passed to this function, the exception codice_9 will be raised.The set of clauses in the following function definition is exhaustive and not redundant