package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141

sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

A functor for creating a simple set domain, there is no top element, and * calling top () will raise an exception

val empty : 'a -> 'b

val is_empty : 'a -> 'b

val mem : 'a -> 'b -> 'c

val add : 'a -> 'b -> 'c

val singleton : 'a -> 'b

val remove : 'a -> 'b -> 'c

val union : 'a -> 'b -> 'c

val inter : 'a -> 'b -> 'c

val diff : 'a -> 'b -> 'c

val subset : 'a -> 'b -> 'c

val iter : 'a -> 'b -> 'c

val map : 'a -> 'b -> 'c

val fold : 'a -> 'b -> 'c -> 'd

val for_all : 'a -> 'b -> 'c

val exists : 'a -> 'b -> 'c

val filter : 'a -> 'b -> 'c

val partition : 'a -> 'b -> 'c

val cardinal : 'a -> 'b

val elements : 'a -> 'b

val of_list : 'a -> 'b

val min_elt : 'a -> 'b

val max_elt : 'a -> 'b

val choose : 'a -> 'b

val split : 'a -> 'b -> 'c