List of Import References :
See BOOL
See Char
See DENOTATION
See Int
See Nat
See Real
SIGNATURE NatConv
$Date: 1998/06/16 15:59:56 $ ($Revision: 1.1.1.1 $)
-- 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