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.
Paired_Lists