/usr/share/hol88-2.02.19940316/help/ENTRIES/assoc.doc is in hol88-help 2.02.19940316-35.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | \DOC assoc
\TYPE {assoc : (* -> (* # **) list -> (* # **))}
\SYNOPSIS
Searches a list of pairs for a pair whose first component equals a specified
value.
\KEYWORDS
list.
\DESCRIBE
{assoc x [(x1,y1);...;(xn,yn)]} returns the first {(xi,yi)} in the list such
that {xi} equals {x}.
\FAILURE
Fails if no matching pair is found. This will always be the case if the list
is empty.
\EXAMPLE
{
#assoc 2 [(1,4);(3,2);(2,5);(2,6)];;
(2, 5) : (int # int)
}
\SEEALSO
rev_assoc, find, mem, tryfind, exists, forall.
\ENDDOC
|