List of Import References :
See BOOL
See Char
See DENOTATION
See Int
See Nat
See Real
SIGNATURE NatConv
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- converting natural numbers
IMPORT Nat ONLY nat
Int ONLY int
Real ONLY real
Char ONLY char
-- converting to denotation
FUN ` : nat -> denotation
-- converting to char
FUN asChar: nat -> char -- undefined, if nat > max'Char
-- converting to other numeric types
FUN asInt: nat -> int -- undefined, if nat > max'Int
asReal: nat -> real
-- old fashioned
FUN chr: nat -> char
next node: RealConv,
prev node: IntConv,
up to node: Subsystem Numbers