1\DOC equal
2
3\TYPE {equal : ''a -> ''a -> bool}
4
5\SYNOPSIS
6Curried form of ML equality.
7
8\KEYWORDS
9Curry
10
11\DESCRIBE
12In some programming situations it is useful to use equality in a
13curried form. Although it is easy to code up on demand, the {equal}
14function is provided for convenience.
15
16\FAILURE
17Never fails.
18
19\EXAMPLE
20{
21- filter (equal 1) [1,2,1,4,5];
22> val it = [1, 1] : int list
23}
24
25
26\ENDDOC
27