package goblint

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

Install

Dune Dependency

Authors

Maintainers

Sources

goblint-2.0.1.tbz
sha256=dba2b664c7c125687e708e871d83fbfb6ba6d9ee98d235b4850d9a238caa84de
sha512=529987cde39691ad9e955000a3603e89c1c8cf14ed5e8b4cd3a7fc26e47d016aff571b472e2329725133c46f8d0cb45a05b88994eeffaa221a4d31b4c543adcd

doc/goblint.lib/Goblint_lib/Witness/Result/argument-5-GHT/Labels/index.html

Module GHT.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
OCaml

Innovation. Community. Security.