List of Import References :
See BOOL
See Char
See DENOTATION
See Fmt
See Nat
See Option
See Pair
See Seq
See String
See Void
SIGNATURE FmtPair[data1,data2]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
SORT data1 data2
IMPORT Fmt ONLY fmt
Pair[data1,data2] ONLY pair
FUN fmtPair : (data1 -> fmt) ** (data2 -> fmt) -> (pair -> fmt)
next node: FmtSeq,
prev node: FmtOption,
up to node: Subsystem Formatting Tools