[PostScript]
ListStructure (A, E, C): trait
  % Classical LISP
  includes List
  E union of list: C, atom: A
[Table of Contents] [Index]