toLower -- convert to lower case

Synopsis

• Usage:
toLower s
• Inputs:
• s,
• Outputs:
• , the string produced from s by converting its characters to lower case

Description

 i1 : toLower "A b C d E f" o1 = a b c d e f

For the programmer

The object toLower is .