\DOC equal

\TYPE {equal : ''a -> ''a -> bool}

\SYNOPSIS
Curried form of ML equality.

\KEYWORDS
Curry

\DESCRIBE
In some programming situations it is useful to use equality in a
curried form. Although it is easy to code up on demand, the {equal}
function is provided for convenience.

\FAILURE
Never fails.

\EXAMPLE
{
- filter (equal 1) [1,2,1,4,5];
> val it = [1, 1] : int list
}


\ENDDOC