incr_dom_partial_render

A library for simplifying rendering of large amounts of data
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library incr_dom_partial_render
module type S = S
module type Id = Id
module Focus_dir = Focus_dir
module Margin = Margin
module Scroll_region = Scroll_region
module Float_type = Float_type
module Make (Row_id : Id) (Column_id : Id) (Sort_spec : Sort_spec) : S with module Row_id = Row_id and module Column_id = Column_id and module Sort_spec = Sort_spec