\"\" \"\" \"\"
Go backward to Definition
Go up to Lists
Go forward to Selectors 		RISC-Linz logo

Constructors

  • Nil(): Empty List
  • nil(): Empty List (Binding Form)
  • Cons(): List Construction
  • cons(): List Construction (Binding Form)
    • Author: Wolfgang Schreiner
    Last Modification: April 12, 1997