List of Import References :
See BOOL
See DENOTATION
See Option
SIGNATURE OptionMap[arg, res]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- lifting a function to options
-- Parameter
SORT arg res
IMPORT Option[arg] ONLY option
Option[res] ONLY option
FUN * : (arg -> res) ** option[arg] -> option[res]
-- f * nil = nil
-- f * avail(a) = avail(f(a))
next node: Union2Conv,
prev node: OptionConv,
up to node: Subsystem UnionLike