It is a WordPress function that shows to the user the menu, attached to come location, ID, slug or just the first non-empty menu.