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

sha256=bfc412ec2e447eaef6f4f83892e3511ebf305593cb00561c1406be3ae8bf48e9

sha512=5f2a162e5f36bffafc9836b0d18b5b2808cecfa6bf68f83bb7d1e8b9947ac74cf07776eb09274b4b29d55c897a45a10768f0d9ed25810cf6ba2409c525e4cd4d

doc/goblint.lib/Goblint_lib/Generic/PreciseSideEffectBoxSolver/argument-2-H/Labels/index.html

Module `H.Labels`

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val merge_all : 
  f:(key -> 'a list -> 'b list -> 'c list) ->
  left:'a t ->
  right:'b t ->
  'c t