Slide 31 of 65
Notes:
Parameter types and modes must be compatible with the signals in the parameter list during a procedure call.
Actually, procedure overloading is achieved by defining multiple procedures (or functions, for that matter) with different parameter types to distinguish among them in procedure (or function) calls.