|Page 214 of 800||Search internet|
has the following value:
Above, , , and denote the reference, index, and debugging information, respectively, of the plus construct. Likewise, , , and denote the reference, index, and debugging information of the 'two' construct and similarly for , , and .
In general, the quoted version of a term has form
where are quoted versions of the subterms of the term.
The value of is .
|Page 214 of 800||Search logiweb.eu|