package incr_map
Helpers for incremental operations on map like data structures
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=91acc784e4760af8544c4504bee1a9f6d7385eb0620f8e56392cd193a250b7d2
doc/incr_map.collate/Incr_map_collate/Collated/Private/index.html
Module Collated.Private
Source
Source
val create :
data:('k * 'v) Opaque_map.t ->
num_filtered_rows:int ->
key_range:'k Collate.Which_range.t ->
rank_range:int Collate.Which_range.t ->
num_before_range:int ->
num_unfiltered_rows:int ->
('k, 'v) t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>