When you declare a function or procedure in Ada, each parameter and their type must be replicated one to one in the declaration of the function or procedure body.
If any one parameter has a different type, you get this error.
Compare the declaration and implementation with the body and fix the list of parameters accordingly.