List of Import References :
See BOOL
See Char
See DENOTATION
See Nat
SIGNATURE CharConv
$Date: 1998/06/16 15:59:56 $ ($Revision: 1.1.1.1 $)
-- converting characters
IMPORT Char ONLY char
Nat ONLY nat
-- converting to denotation
FUN ` : char -> denotation
-- converting characters to natural numbers
FUN asNat : char -> nat
-- asNat(succ^n(min)) == n
asDigitNat : char -> nat
-- convert digit (0, 1, ..., 9) into natural number
-- undefined otherwise
-- old fashioned
FUN ord: char -> nat
next node: Greek,
prev node: PrintableChar,
up to node: Subsystem Text