paconv : (term -> term -> bool)
STRUCTURE
pairSyntax
LIBRARY
pair
SYNOPSIS
Tests for alpha-equivalence of terms.
DESCRIPTION
When applied to a pair of terms
t1
and
t2
,
paconv
returns true if the terms are alpha-equivalent.
FAILURE
Never fails.
COMMENTS
paconv
is implemented as
curry (can (uncurry PALPHA))
.
SEEALSO
PALPHA
,
aconv
HOL
Kananaskis-10