package devkit
Development kit - general purpose library
Install
Dune Dependency
Authors
Maintainers
Sources
devkit-1.20210517.tbz
md5=00995ebead339d6ec1ba7859c3fc3a58
sha256=5ad39c7fa1a966a2f0a7f6dbb7e82c787439c73482f5f44b3c9fb54b040d36eb
sha512=8dd3f7d4aaabae9aa9ede13edee2b22214c0d2e2780bb08b2ca8ed588d74fc6d9b1908bb31dfee49c949c7cc425fb98897b8e0f11280070ebd99b965908ea133
doc/devkit.core/Devkit_core/Lwt_flag/index.html
Module Devkit_core.Lwt_flag
Source
Simple wrapper over Lwt_condition, starts to wait again on condvar right after current wait
was finished, to not lose signals. Usable when there is one thread that waits for "flag". "Multiple waiters" semantics is not defined here ( <-> Lwt_condition.broadcast), don't use it.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>