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


FmtSet

Signature of FmtSet

List of Import References :
See BOOL
See Char
See DENOTATION
See Fmt
See Nat
See Option
See Seq
See Set
See String
See Void

/* This structure provides formatting of @code{set'Set}. */

SIGNATURE FmtSet[data, <]

$Date: 1998/06/16 16:00:24 $ ($Revision: 1.1.1.1 $)

SORT data
FUN  <  : data ** data -> bool

IMPORT  Set[data,<]             ONLY set:SORT
        Fmt                     ONLY fmt:SORT

FUN fmtSet      : (data -> fmt) -> set[data, <]  -> fmt


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