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