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.4.0.tbz

sha256=99b78e6def71534d195eef9084baa26d8334b36084e120aa6afb300c9bf8afa6

sha512=f3162bd95a03c00358a2991f6152fc6169205bfb4c55e2c483e98cc3935673df9656d025b6f1ea0fa5f1bd0aee037d4f483966b0d2907e3fa9bf11a93a3392af

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