forall2 : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool
SYNOPSIS
Tests if corresponding elements of two lists all satisfy a relation.
DESCRIPTION
forall p [x1;...;xn] [y1;...;yn] returns true if (p xi yi) is true for
all corresponding xi and yi in the list. Otherwise, or if the lengths of
the lists are different, it returns false.
FAILURE CONDITIONS
Never fails.
EXAMPLE
Here we check whether all elements of the first list are less than the
corresponding element of the second:
# forall2 (<) [1;2;3] [2;3;4];;
val it : bool = true
# forall2 (<) [1;2;3;4] [5;4;3;2];;
val it : bool = false
# forall2 (<) [1] [2;3];;
val it : bool = false