module State = Statemodule Row = Rowmodule Mode : sig ... endmodule Table_widget : Table.S with type Row_id.t = Row.Id.t and type Column_id.t = Mesa_column.Id.tmodule Model : sig ... endmodule Derived_model : sig ... endmodule Model_summary : sig ... endmodule Action : sig ... endval key_handler : Mode.t ‑> focus:(Row.Id.t * Row.t) option ‑> inject:(Action.t ‑> Incr_dom_widgets__.Import.Vdom.Event.t) ‑> Incr_dom_widgets__.Import.Dom_html.keyboardEvent Incr_dom_widgets__.Import.Js.t ‑> Incr_dom_widgets__.Import.Vdom.Event.tval apply_action : Action.t ‑> Model.t ‑> State.t ‑> recompute_derived:(Model.t ‑> Derived_model.t) ‑> report_error:(Row.action_error ‑> unit Async_kernel.Deferred.t) ‑> Model.t Core_kernel.Or_error.tval update_visibility : Model.t ‑> Derived_model.t ‑> Model.tval on_display : old:Model_summary.t ‑> Model.t ‑> Derived_model.t ‑> unitval view : Model.t Incr_dom_widgets__.Import.Incr.t ‑> Derived_model.t Incr_dom_widgets__.Import.Incr.t ‑> inject:(Action.t ‑> Incr_dom_widgets__.Import.Vdom.Event.t) ‑> attrs:Incr_dom_widgets__.Import.Vdom.Attr.t list ‑> header:Incr_dom_widgets__.Import.Vdom.Node.t ‑> Incr_dom_widgets__.Import.Vdom.Node.t Incr_dom_widgets__.Import.Incr.t