2013-04-11 01:07:29 -07:00
|
|
|
let () =
|
|
|
|
|
let str = "alphaBETA" in
|
2019-09-12 10:33:56 -07:00
|
|
|
print_endline (String.uppercase_ascii str); (* ALPHABETA *)
|
|
|
|
|
print_endline (String.lowercase_ascii str); (* alphabeta *)
|
2013-04-11 01:07:29 -07:00
|
|
|
|
2019-09-12 10:33:56 -07:00
|
|
|
print_endline (String.capitalize_ascii str); (* AlphaBETA *)
|
2013-04-11 01:07:29 -07:00
|
|
|
;;
|
