-----Description-----
This task requires writing a Lean 4 method that reverses a given string. The method should return a new string which consists of the characters of the input string in reverse order.

-----Input-----
The input consists of:
s: A string (which may be empty).

-----Output-----
The output is a string:
Returns a string where the characters are in reverse order from the original input.

