list_concatenate: Construct a list that is the concatenation of two other...

Description Usage Arguments Value

Description

This function is linear in the length of the first list.

Usage

1

Arguments

l1

The first list.

l2

The second list.

Value

The concatenation of l1 and l2.


mailund/ralgo documentation built on May 21, 2019, 11:07 a.m.