next node: FmtDebug,
prev node: Fmt,
up to node: Subsystem Formatting Tools


FmtBasicTypes

Signature of FmtBasicTypes

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