package iter
Simple abstraction over `iter` functions, intended to iterate efficiently on collections while performing some transformations
Install
Dune Dependency
Authors
Maintainers
Sources
iter-1.9.tbz
sha256=dba9e5bb152e0d0db0054c36b2a9476747a284a7738f15f1195a3e2035c7e968
sha512=6c8e0fd57ebca9db642ef6105cb23353fb4f4aa2a37b49ceb61adc9881d0d42e0212326efddea183fae7e27313321680036c3932863004b1853b5fbf37c521de
Description
Dev Dependencies (4)
-
odoc
with-doc
-
mdx
with-test & >= "1.3"
-
ounit2
with-test
-
qcheck-core
with-test
Used by (22)
- archsat
- benchpress
-
calculon
= "0.5"
- containers
- containers-data
- containers-thread
- dirsp-proscript-mirage
- earlybird
- ego
- electrod
- grace
- libzipperposition
- logtk
- m_tree
- mc2
-
msat
>= "0.8"
-
mssql
>= "2.0.3"
- regenerate
- smbc
-
tree_layout
>= "0.2"
- zipperposition
- zipperposition-tools
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page