Module Incr_dom_widgets__Mesa.Make.Table_widget.Derived_model

type 'a t
val create : Model.t Incr_dom_widgets__.Import.Incr.t ‑> rows:'a Row_id.Map.t Incr_dom_widgets__.Import.Incr.t ‑> columns:(Column_id.t * 'a Column.t) list Incr_dom_widgets__.Import.Incr.t ‑> 'a t Incr_dom_widgets__.Import.Incr.t
val sorted_rows : 'a t ‑> 'a Key.Map.t
val sort_criteria : 'a t ‑> 'a Column.t Sort_criteria.t
val scroll_region : _ t ‑> Incr_dom_widgets.Table_intf.Scroll_region.t option