(** A function that produces an uppercase version of the given string. *)
Parameter uppercaseOf : string -> string.
