next node: Union2Conv,
prev node: OptionConv,
up to node: Subsystem UnionLike


OptionMap

Signature of OptionMap

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