RT++ --- Tutorial and Reference Manual -- \code{Null()}: Test for Empty List

$\"\"$ $\"\"$ $\"\"$
Go up to Selectors
Go forward to Head(): Head Element

empty = Null(l)
int empty
List<T> l

Specification: Returns 1 if l is the empty list and 0 else.

Complexity: $O(1)$ .

Author: Wolfgang Schreiner
Last Modification: April 12, 1997