Ui.Value_selector
Value selectors
Value selector allow to select a value among a finite number of choices.
module Menu : sig ... end
Menu selector
module Button : sig ... end
Button selectors.