package devkit
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
Development kit - general purpose library
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.20261006.tar.gz
md5=a39dbbce04bd5562a9b4443daf39c582
sha512=b10104b61384b2151521b785e7f3c3250134c75eae09b42cad69bc4a22a9a5e429beb891ee87cedf376c23d9c40f09d3f71c3fd48aa35df490c0f69dc17f3242
doc/devkit.core/Devkit_core/Gzip_stream/index.html
Module Devkit_core.Gzip_streamSource
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)"
>