/usr/share/hol88-2.02.19940316/help/ENTRIES/can.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 | \DOC can
\TYPE {can : ((* -> **) -> * -> bool)}
\SYNOPSIS
Tests for failure.
\DESCRIBE
{can f x} evaluates to {true} if the application of {f} to {x} succeeds.
It evaluates to {false} if the application fails.
\FAILURE
Never fails.
\EXAMPLE
{
#hd [];;
evaluation failed hd
#can hd [];;
false : bool
}
\SEEALSO
assert.
\ENDDOC
|