Option

Option to have something

Signature of Option

List of Import References :
See BOOL
See DENOTATION

SIGNATURE Option [data]

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

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: Either,
up to node: Subsystem UnionLike