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