package incr_dom_partial_render

  1. Overview
  2. Docs
package incr_dom_partial_render
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Incr_dom_partial_render.TableSource

include Table_intf.Table
Sourcemodule type S = Table_intf.S
Sourcemodule type Id = Table_intf.Id
Sourcemodule Focus_dir = Util.Focus_dir
Sourcemodule Margin = Util.Margin
Sourcemodule Scroll_region = Util.Scroll_region
Sourcemodule Float_type = Util.Float_type
Sourcemodule Make (Row_id : Id) (Column_id : Id) (Sort_spec : Table_intf.Sort_spec) : S with module Row_id = Row_id and module Column_id = Column_id and module Sort_spec = Sort_spec
Sourcemodule Default_sort_spec : sig ... end