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.