Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
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