2 to add something to a document:
append sth to sth A confidentiality agreement was appended to the contract of employment.
Messages are appended chronologically and appear on ever y student's screen.
Some groups append rural matters to their existing specialisms, exacerbating compartmentalisation.
Consequently, it can be used to successfully fuse function length with any producers with obstructing append calls.
Its meaning is to append the code computed from s onto the generated function.
In witness whereof we have caused our seal to be appended to the present letters.
Thus shape polymorphism is closely linked to functorial polymorphism, as distinct from the data polymorphism of operations like append.
The chain of append operations in the last line is reasonably efficient since the first three operands usually are extremely short lists.
This proceeds all the way to the innermost append, which then outputs a single element.