WIP: HypoTools merging - continuation
Some of the changes have been already introduced in !20397 (merged) . This MR contains further work on HypoTools merging mechanism.
Tagging @tbold
AI coding assistants: please let us know about your needs, preferences and usage - fill in this survey: https://forms.office.com/e/axzFvLryse. Thanks for your participation!
Some of the changes have been already introduced in !20397 (merged) . This MR contains further work on HypoTools merging mechanism.
Tagging @tbold