2 val _
= 12345678: Int16
.int
3 val _
= 12345678901234567890: Int32
.int
4 val _
= 1234567890123456789012345678901234567890: Int64
.int
5 val _
= 0w1234
: Word8.word
6 val _
= 0w12345678
: Word16
.word
7 val _
= 0w12345678901234567890
: Word32
.word
8 val _
= 0w1234567890123456789012345678901234567890
: Word64
.word
9 val _
= 1e999
: Real32
.real
10 val _
= 1e999
: Real64
.real
11 val _
= #
"\uFFFF": Char.char
12 val _
= "A\uFFFFB": String.string
13 val _
= "A\uFFFFB\u9999C": String.string