/usr/share/hol88-2.02.19940316/help/ENTRIES/=.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 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 | \DOC =
\TYPE {$= : ((* # *) -> bool)}
\SYNOPSIS
Performs an equality test on two ML values.
\KEYWORDS
equality.
\DESCRIBE
{$=} works as expected on non-function types. It may give unexpected results
when applied to function types (or types containing them, such as a pair of
functions), and should be considered unreliable in those situations.
\FAILURE
Never fails.
\EXAMPLE
{
#1 = 2;;
false : bool
#1 = 1;;
true : bool
#let f x = x + 1 and g x = x + 2;;
f = - : (int -> int)
g = - : (int -> int)
#let f' = f and h x = f x and h' x = x + 1;;
f' = - : (int -> int)
h = - : (int -> int)
h' = - : (int -> int)
#f=f;;
true : bool
#f = f';;
true : bool
#f = g;;
false : bool
#f =h;;
false : bool
#f=h';;
false : bool
#h = h';;
false : bool
}
\ENDDOC
|