package goblint
Static analysis framework for C
Install
dune-project
Dependency
Authors
Maintainers
Sources
goblint-2.6.0.tbz
sha256=20d5b7332a9f6072ab9ba86c4a53b898eaf681286c56a8805c41850bbf3ddf41
sha512=7c7685cfcd9aa866bc40e813df2bfcb3c79b3d40e615d8d6d0939c5798b9d70dd7f2ba87a741f5ba0ce891e9d254627207fb28057f1f2f6611e4e0d128fd6a71
doc/goblint.lib/Goblint_lib/PrecCompare/MakeDump/argument-1-Util/RH/Infix/index.html
Module RH.Infix
Infix operators over a BatHashtbl
tbl-->x
returns the current binding of x
in tbl
, or raises Not_found
if no such binding exists. Equivalent to Hashtbl.find tbl x
tbl<--(x, y)
adds a binding of x
to y
in table tbl
. Previous bindings for x
are not removed, but simply hidden. That is, after performing Hashtbl.remove
tbl x
, the previous binding for x
, if any, is restored. (Same behavior as with association lists.) Equivalent to Hashtbl.add tbl x y
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>