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