Function for_all2 - Opa Documentation

Variant

```
   
```
{
bool
```
 
```
result
}
```
or 
```
{
Variant

{
void

longest_second
}

or
{
void

longest_first
}

or
{
void

...
}
```
 
```
different_length
}
```
or 
```
{
void
```
 
```
...
}

for_all2 (

→

bool

list

(

)

list

(

)

l2)

Check whether all pair of corresponding elements of the pair of list match a given condition

The condition

A list

An other, with a possibly different length

returns

result={true} if the predicate is satisfied everywhere and the lists have the same length
result={false} if the predicate failed before the end of the shorter list
different_length=reason if the predicate succeeded until the end of the shorter list
(reason is either longest_first or longest_second )
Note that if the lists have different lengths but the predicate fails before the end
of one of the list, then you will get result=false and not different_length=...

Comments