list_append

[This is preliminary specification and subject to change.]

Group

Lists (more...)

Type

nondeterm

Syntax

list_append( ILIST IN, ILIST TEMP, ILIST OUT)

Flow patterns

(i,i,o),(i,o,i),(o,i,i)

Description:

Appends list to the end of the another list.
nondeterministically returns list which constructs end of the given list.

Sample:

No sample