Given an FVarId
, this function returns the corresponding user name,
but only if the name can be used to recover the original FVarId.
Std.Lean.Meta.LCtx
Given an FVarId
, this function returns the corresponding user name,
but only if the name can be used to recover the original FVarId.