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: 1998/06/16 16:00:24 $ ($Revision: 1.1.1.1 $)
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