Constants

Base type constants such as 1, $\sim 2$, and "some string" are available, with identical types and meanings as in Standard ML. Character constants are denoted like 'x'.