It seems that Ltac2 Set does not support any locality attributes. What's its default locality?
Ltac2 Set
Last updated: Jan 31 2023 at 09:01 UTC