List of Import References :
See BOOL
See Char
See DENOTATION
See Nat
SIGNATURE CharConv
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- 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