/usr/share/hol88-2.02.19940316/help/ENTRIES/assert.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 29 30 31 32 33 | \DOC assert
\TYPE {assert : ((* -> bool) -> * -> *)}
\SYNOPSIS
Checks that a value satisfies a predicate.
\DESCRIBE
{assert p x} returns {x} if the application {p x} yields {true}. Otherwise,
{assert p x} fails.
\FAILURE
{assert p x} fails with the string {`fail`} if the predicate {p} yields
{false} when applied to the value {x}.
\EXAMPLE
{
#null [];;
true : bool
#assert null [];;
[] : * list
#null [1];;
false : bool
#assert null [1];;
evaluation failed fail
}
\SEEALSO
can.
\ENDDOC
|