Test definiens cursors and verify that all identifiers are bound#1200

Merged

ggiraldez merged 7 commits intoNomicFoundation:mainfrom manastech:test-definiens

Dec 23, 2024

+10,098-1,876

Commits on Dec 23, 2024

Change label for definitions from def to name in bindings output
ggiraldez
committed