package goblint

  1. Overview
  2. No Docs
Static analysis framework for C

Install

Dune Dependency

Authors

Maintainers

Sources

goblint-2.4.0.tbz
sha256=99b78e6def71534d195eef9084baa26d8334b36084e120aa6afb300c9bf8afa6
sha512=f3162bd95a03c00358a2991f6152fc6169205bfb4c55e2c483e98cc3935673df9656d025b6f1ea0fa5f1bd0aee037d4f483966b0d2907e3fa9bf11a93a3392af

doc/goblint.solver/Goblint_solver/Generic/SolverStats/argument-2-HM/Infix/index.html

Module HM.Infix

Infix operators over a BatHashtbl

val (-->) : 'a t -> key -> 'a

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

val (<--) : 'a t -> (key * 'a) -> unit

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

OCaml

Innovation. Community. Security.