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

Selectors

  • Null(): Test for Empty List
  • Head(): Head Element
  • Tail(): Tail List
  • tail(): Tail List (Binding Form)
    • Author: Wolfgang Schreiner
    Last Modification: April 12, 1997