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

SEE ALSO
exists, forall.