The entire program behavior must be specified through those examples. signature is_even(x ... Using the Mirror syntax, you give the function name, parameters and their types, and the return type as ...