package devkit
Development kit - general purpose library
Install
Dune Dependency
Authors
Maintainers
Sources
1.2.tar.gz
sha256=28f4c68127579b86c5f50e01e444e8c51f0543bc5472c2dcac28993bc88aa756
md5=0317493fa5cc1054a882ceca59ce5992
doc/devkit.core/Devkit_core/Gzip_stream/index.html
Module Devkit_core.Gzip_stream
Source
Source
type in_channel = {
in_chan : IO.input;
in_buffer : bytes;
mutable in_pos : int;
mutable in_avail : int;
mutable in_eof : bool;
in_stream : Zlib.stream;
mutable in_size : int32;
mutable in_crc : int32;
char_buffer : bytes;
}
Source
type 'a out_channel = {
out_chan : 'a IO.output;
out_buffer : bytes;
mutable out_pos : int;
mutable out_avail : int;
out_stream : Zlib.stream;
mutable out_size : int32;
mutable out_crc : int32;
char_buffer : bytes;
}
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>