13.2.38  paired_lists

The standard library paired_lists package implements analogues of the list functions zip, fold_left etc which operate in parallel on pairs of lists instead of on single lists.

The paired_lists package implements the Paired_Lists API.

The paired_lists package source code is in src/lib/std/src/paired-lists.pkg.

The above information is manually maintained and may contain errors.


Comments and suggestions to: