exactly : term -> term

SYNOPSIS
Query to search for a term alpha-equivalent to pattern.

DESCRIPTION
The function exactly is intended for use solely with the search function.

FAILURE CONDITIONS
Never fails.

SEE ALSO
search.