Option to have something
List of Import References :
See BOOL
See DENOTATION
SIGNATURE Option [data]
$Date: 1998/06/16 16:00:06 $ ($Revision: 1.1.1.1 $)
SORT data
The Type itself
TYPE option == nil avail( cont: data )
Access
Selector of the free type
FUN cont: option -> data
Return higher-order argument for nil
, otherwise like ordinary
cont
FUN cont: data -> option -> data
Ordering Relations
FUN < : (data ** data -> bool) -> option ** option -> bool FUN = : (data ** data -> bool) -> option ** option -> bool
next node: Union2,
prev node: Dyn,
up to node: Subsystem UnionLike