Formatting Options
List of Import References :
See BOOL
See Char
See DENOTATION
See Fmt
See Nat
See Option
See Seq
See String
See Void
SIGNATURE FmtOption[data]
$Date: 1998/06/16 16:00:24 $ ($Revision: 1.1.1.1 $)
SORT data IMPORT Option[data] ONLY option Fmt ONLY fmt String ONLY string -- this is output of ordinatrice verte for free type option FUN fmtOption : (data -> fmt) -> option[data] -> fmt
next node: FmtPair,
prev node: FmtDebug,
up to node: Subsystem Formatting Tools