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

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