Convert a character to lowercase.
Integer_Type lower (Integer_Type ch)
This function takes an integer ch and returns its lowercase equivalent.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}