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