package core_unix
Unix-specific portions of Core
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.1.tar.gz
md5=9370dca36f518fcea046d2752e3de22b
sha512=c4e8ce9d5885ac8fa8d554a97e1857f3a1c933e0eb5dfd4fe874412b9d09e6d0a2973b644733855553f33f5c859719228f0e6aaf3a2b7eb5befb46fc513750de
doc/core_unix.bigbuffer_blocking/Bigbuffer_blocking/index.html
Module Bigbuffer_blocking
Source
Extends Core.Bigbuffer
.
add_channel b ic n
reads exactly n
characters from the input channel ic
and stores them at the end of buffer b
. Raises End_of_file
if the channel contains fewer than n
characters.
output_buffer oc b
writes the current contents of buffer b
on the output channel oc
.
Digest the current contents of the buffer.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>