Closest thing is probably free-identifier=?:

 > Id1 and id2 must be identifiers. The free-identifier=? procedure
returns #t if and only if the two identifiers would resolve to the same
binding if both were to appear in the output of a transformer outside of
any bindings inserted by the transformer. (If neither of two like-named
identifiers resolves to a binding, i.e., both are unbound, they are
considered to resolve to the same binding.)

In R6RS, you cannot refer to a location separate from an identifier, but
you can treat an identifier as a pointer to such a location.

-- Peter McGoron

On 9/6/26 17:11, jobol wrote:
> It could be easy to achieve it based on the current implementation. I
> just need a function that takes 2 arguments: (1) a syntax object and
> (2) a location, and that returns true if the syntax object is an
> identifier bound to the location in the context of the syntactic
> expansion.
>
> Does such a function exist? If yes, what is its name. If no, why?