Go backward to Definition
Go up to Lists
Go forward to Selectors

Constructors

  • Nil(): Empty List
  • nil(): Empty List (Binding Form)
  • Cons(): List Construction
  • cons(): List Construction (Binding Form)

  • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: main.tex,v 1.10 1996/04/04 11:45:47 schreine Exp

    Prev Up Next