List of Import References :
See BOOL
See Char
See DENOTATION
See Fmt
See Nat
See Option
See Seq
See String
See Void
/* Formatting Basic Types - currently only @code{nat} and @code{string}. */
SIGNATURE FmtBasicTypes
$Date: 2012-10-02 14:17:54 +0200 (Di, 02. Okt 2012) $ ($Revision: 838 $)
IMPORT Fmt ONLY fmt
Nat ONLY nat
String ONLY string
FUN fmtNat: nat -> fmt
FUN fmtString: string -> fmt
FUN fmtDenotation: denotation -> fmt
next node: FmtDebug,
prev node: Fmt,
up to node: Subsystem Formatting Tools