Module Dropdown.Menu

The menu's items. selection_mode is read as it is made. Its selected_keys are the selected items' ids while it is given, else those it keeps, default_selected_keys at first; a change calls on_selection_change with them. An item whose id disabled_keys holds is disabled. Choosing an item calls on_action with its id. Its separators are <div>s, as React Aria's menu's are.

module Props : sig ... end