[ < ] | [ > ] |  | [ << ] | [ Up ] | [ >> ] |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

#### 2.7.14.1 Cat

The list concatenation operation has this representation in virtual code.

T28

  [[`cat`]] = `((nil,nil),(nil,nil))`

This function takes a pair of lists as an argument, an returns the list obtained by appending the right one to the left. The semantics of concatenation is what one would expect.

P35

  [[`cat`]] `(nil,z)` = `z`

P36

  [[`cat`]] `((x,y),z)` = `(x,`[[`cat`]] `(y,`z`))`

This document was generated on November 8, 2012 using texi2html 1.82.