List of Import References :
See BOOL
See DENOTATION
See Option
SIGNATURE OptionMap[arg, res]
$Date: 1998/06/16 16:00:06 $ ($Revision: 1.1.1.1 $)
-- 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