package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

Dune Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (8)

Authors

Maintainers

Sources

goblint-2.5.0.tbz

sha256=452d8491527aea21f2cbb11defcc14ba0daf9fdb6bdb9fc0af73e56eac57b916

sha512=1993cd45c4c7fe124ca6e157f07d17ec50fab5611b270a434ed1b7fb2910aa85a8e6eaaa77dad770430710aafb2f6d676c774dd33942d921f23e2f9854486551

doc/goblint.constraint/ConstrSys/GlobSolverFromEqSolver/VH/Labels/index.html

Module `VH.Labels`Source

Operations on Hashtbl with labels.

This module overrides a number of functions of Hashtbl by functions in which some arguments require labels. These labels are there to improve readability and safety and to let you change the order of arguments to functions. In every case, the behavior of the function is identical to that of the corresponding function of Hashtbl.

@documents Hashtbl.S.Labels

Sourceval add : 'a t -> key:key -> data:'a -> unit

Sourceval replace : 'a t -> key:key -> data:'a -> unit

Sourceval iter : f:(key:key -> data:'a -> unit) -> 'a t -> unit

Sourceval for_all : f:(key:key -> data:'a -> bool) -> 'a t -> bool

Sourceval map : f:(key:key -> data:'a -> 'b) -> 'a t -> 'b t

Sourceval map_inplace : f:(key:key -> data:'a -> 'a) -> 'a t -> unit

Sourceval filter : f:('a -> bool) -> 'a t -> 'a t

Sourceval filter_inplace : f:('a -> bool) -> 'a t -> unit

Sourceval filteri : f:(key:key -> data:'a -> bool) -> 'a t -> 'a t

Sourceval filteri_inplace : f:(key:key -> data:'a -> bool) -> 'a t -> unit

Sourceval filter_map : f:(key:key -> data:'a -> 'b option) -> 'a t -> 'b t

Sourceval filter_map_inplace : f:(key:key -> data:'a -> 'a option) -> 'a t -> unit

Sourceval fold : f:(key:key -> data:'a -> 'b -> 'b) -> 'a t -> init:'b -> 'b

Sourceval exists : f:(key:key -> data:'a -> bool) -> 'a t -> bool

Sourceval modify : key:key -> f:('a -> 'a) -> 'a t -> unit

Sourceval modify_def : default:'a -> key:key -> f:('a -> 'a) -> 'a t -> unit

Sourceval modify_opt : key:key -> f:('a option -> 'a option) -> 'a t -> unit

Source

val merge : 
  f:(key -> 'a option -> 'b option -> 'c option) ->
  left:'a t ->
  right:'b t ->
  'c t