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: 2010-09-30 18:24:17 +0200 (Thu, 30 Sep 2010) $ ($Revision: 616 $)
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