package core_unix
Unix-specific portions of Core
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=175025e240ed90647d817b1af5e4174bf146505903ed671e645f8a5d5f497182
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)"
>