include Incr_dom_widgets__.Partial_render_list_intf.Partial_render_list
module type S = Incr_dom_widgets__.Partial_render_list_intf.S
module type Key = Incr_dom_widgets__.Partial_render_list_intf.Key
module Interval = Incr_dom_widgets__.Partial_render_list_intf.Interval
module Measurements = Incr_dom_widgets__.Partial_render_list_intf.Measurements