Spec: Refactoring: Merge "definitions" and "declarations".#18259

Merged

sjrd merged 1 commit intoscala:mainfrom

sjrd:spec-merge-definitions-and-declarations

Aug 2, 2023

Commits on Aug 2, 2023

Spec: Refactoring: Merge "definitions" and "declarations".
sjrd
committed