Module string-conversions

This module contains some handy functions to convert numbers to strings and vice-versa, as well some <character> to <string> conversions.

Exported from

Library string-extensions

Summary
Module string-conversions
This module contains some handy functions to convert numbers to strings and vice-versa, as well some <character> to <string> conversions.
string-conversions names

string-conversions names

The class of characters.
The class of sequences with elements that are characters.
The string-extensions library.
Convert a character to the integer it denotes.
Convert an integer to the corresponding digit.
Converts an integer to a string value.
Read a sequence of characters as an integer.