toLower -- convert to lower case

Synopsis

• Usage:

  toLower s

• Inputs:
  • s, a string
• Outputs:
  • a string, 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