Subject: term comparison in foreign code

From: Paul Singleton <[email-masked]>
Date: Tue, 18 Apr 2000 13:45:26 +0100

How, from within foreign code, can we determine whether two variables
are shared?

Is PL_compare() the only way?

Or is there some identifier, unique to each distinct variable, which
can be used e.g. to maintain a map of variables-seen-so-far when
traversing a term?

Paul Singleton