1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
\DOC forall
\TYPE {forall : ('a -> bool) -> 'a list -> bool}
\SYNOPSIS
Tests a list to see if all its elements satisfy a predicate.
\KEYWORDS
list.
\DESCRIBE
{forall p [x1;...;xn]} returns {true} if {(p xi)} is true for all {xi} in the
list. Otherwise it returns {false}. If the list is empty, this function always
returns true.
\FAILURE
Never fails.
\EXAMPLE
{
# forall (fun x -> x <= 2) [0;1;2];;
val it : bool = true
# forall (fun x -> x <= 2) [1;2;3];;
val it : bool = false
}
\SEEALSO
exists, find, tryfind, mem, assoc, rev_assoc.
\ENDDOC
|
