AltErgoLib.Lists
Lists utilies
This modules defines some helper functions on lists
apply f [a_1; ...; a_n]
returns a couple [f a_1; ...; f a_n], same
same such that: (1) "same" is true if and only if a_i == a_i for each i; and (2) if same is true, then the resulting list is physically equal to the argument *
similar to function apply, but the elements of the list are couples *
Tries and find the first element of the list satisfying the predicate.
compare cmp l1 l2
compares the lists l1
and l2
using the comparison function cmp
on elements.