\"\" \"\" \"\"
Go backward to Destructive Updating
Go up to Lists
RISC-Linz logo

General

  • init(): Unbinding a List
  • Null(): Test for Unbound List
  • List(): Duplication
  • =: Assignment
  • ==: Comparison

  • Author: Wolfgang Schreiner
    Last Modification: April 12, 1997