This document on GitHub describes in depth how WordPress menus and menu-related information is stored internally and how it can be manipulated.
This document on GitHub describes in depth how WordPress menus and menu-related information is stored internally and how it can be manipulated.