package goblint

Overview
No Docs

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 Edit opam file Versions (8)

Authors

Maintainers

Sources

goblint-2.2.1.tbz

sha256=ca24f72fa9a87d288affe97c411753f14b7802bab4ca3649b337276b89bf5674

sha512=394b3521ccda0da91540cebb2f433f7525763060be4bbe179edd3b952a3580a8e173c4e410fc6895dc67fe6d17e6699aeddfed600f4692858bec093dd912bf1e

doc/goblint.lib/Goblint_lib/EffectWConEq/Make/argument-2-HM/Labels/index.html

Module `HM.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