equal : ''a -> ''a -> bool

SYNOPSIS
Curried form of ML equality

DESCRIBE
In some programming situations it is convenient 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

SEEALSO  Lib

HOL  Kananaskis 0