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


FmtOption

Formatting Options

Signature of FmtOption

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