equal : ''a -> ''a -> bool
STRUCTURE
SYNOPSIS
Curried form of ML equality.
DESCRIPTION
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

HOL  Kananaskis-14