module type Sort_dir : sig ... endSort_dir determines the different ways in which the rows can be sorted
(e.g. ascending and descending).
include Utilmodule Focus_dir = Util.Focus_dirmodule Margin = Util.Marginmodule Scroll_region = Util.Scroll_regionmodule Float_type = Util.Float_typemodule Scroll_result = Util.Scroll_resultmodule Scroll = Util.Scrollval move_focus : ('key, 'value, _) Core_kernel.Map.t ‑> 'key option ‑> Focus_dir.t ‑> ('key * 'value) optionmove_focus gives the next element starting from the given key in the given direction
according to the order of elements in the map.
If the given key is None, move_focus returns the first element in the map for
direction Next, and the last element in the map for direction Prev.
If the given key is already the last element in the table for direction Next, or the
first element in the table for direction Prev, then move_focus returns None.
module type Id : sig ... endmodule type S : sig ... endmodule type Table : sig ... end