\"\" \"\" \"\"
Go up to General
Go forward to Null(): Test for Unbound List
RISC-Linz logo

init(): Unbinding a List

l.init()
      List<T> l

Specification: Resolves any binding of l.

Complexity: O(1).

Note: This operation is equivalent to

l.nil()

Author: Wolfgang Schreiner
Last Modification: April 12, 1997