package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct