package lutils
Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)
Install
Dune Dependency
Authors
Maintainers
Sources
lutils.v1.54.1.tgz
md5=a4d0e3d40ae4b01609d568b588b6ea7d
sha512=d3c3b80286b1aa236ba922d9e18a133721fc80126c8b89520fb811dce9400e217aaa75b5d49e03988be7f6bf5f2e1a391d02ceeaa5ec0a0cd5ce218083a29514
doc/lutils/Mypervasives/index.html
Module Mypervasives
Source
Source
val list_split7 :
('a * 'b * 'c * 'd * 'e * 'f * 'g) list ->
'a list * 'b list * 'c list * 'd list * 'e list * 'f list * 'g list
Removes duplicates from a list (conserving its order)
I define my own version of print_float to turn around a bug of sim2chro where it does not understand floats with no digit (e.g., 4. instead of 4.0)
Source
val my_create_process :
?std_in:Unix.file_descr ->
?std_out:Unix.file_descr ->
?std_err:Unix.file_descr ->
?wait:bool ->
string ->
string list ->
my_create_process_result
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>