package goblint

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

Module Base.VSSource

Sourcetype elt = S.Var.t
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval is_singleton : t -> bool
Sourceval singleton : elt -> t
Sourceval mem : elt -> t -> bool
Sourceval find : elt -> t -> elt
Sourceval find_opt : elt -> t -> elt option
Sourceval find_first : (elt -> bool) -> t -> elt
Sourceval find_first_opt : (elt -> bool) -> t -> elt option
Sourceval find_last : (elt -> bool) -> t -> elt
Sourceval find_last_opt : (elt -> bool) -> t -> elt option
Sourceval add : elt -> t -> t
Sourceval remove : elt -> t -> t
Sourceval remove_exn : elt -> t -> t
Sourceval update : elt -> elt -> t -> t
Sourceval union : t -> t -> t
Sourceval inter : t -> t -> t
Sourceval diff : t -> t -> t
Sourceval sym_diff : t -> t -> t
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval subset : t -> t -> bool
Sourceval disjoint : t -> t -> bool
Sourceval compare_subset : t -> t -> int
Sourceval iter : (elt -> unit) -> t -> unit
Sourceval at_rank_exn : int -> t -> elt
Sourceval map : (elt -> elt) -> t -> t
Sourceval filter : (elt -> bool) -> t -> t
Sourceval filter_map : (elt -> elt option) -> t -> t
Sourceval fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval for_all : (elt -> bool) -> t -> bool
Sourceval exists : (elt -> bool) -> t -> bool
Sourceval partition : (elt -> bool) -> t -> t * t
Sourceval split : elt -> t -> t * bool * t
Sourceval split_opt : elt -> t -> t * elt option * t
Sourceval split_lt : elt -> t -> t * t
Sourceval split_le : elt -> t -> t * t
Sourceval cardinal : t -> int
Sourceval elements : t -> elt list
Sourceval to_list : t -> elt list
Sourceval to_array : t -> elt array
Sourceval min_elt : t -> elt
Sourceval min_elt_opt : t -> elt option
Sourceval pop_min : t -> elt * t
Sourceval pop_max : t -> elt * t
Sourceval max_elt : t -> elt
Sourceval max_elt_opt : t -> elt option
Sourceval choose : t -> elt
Sourceval choose_opt : t -> elt option
Sourceval any : t -> elt
Sourceval pop : t -> elt * t
Sourceval enum : t -> elt BatEnum.t
Sourceval backwards : t -> elt BatEnum.t
Sourceval of_enum : elt BatEnum.t -> t
Sourceval of_list : elt list -> t
Sourceval of_array : elt array -> t
Sourceval to_seq : t -> elt BatSeq.t
Sourceval to_rev_seq : t -> elt BatSeq.t
Sourceval to_seq_from : elt -> t -> elt BatSeq.t
Sourceval add_seq : elt BatSeq.t -> t -> t
Sourceval of_seq : elt BatSeq.t -> t
Sourceval print : ?first:string -> ?last:string -> ?sep:string -> ('a BatInnerIO.output -> elt -> unit) -> 'a BatInnerIO.output -> t -> unit
Sourcemodule Exceptionless : sig ... end
Sourcemodule Labels : sig ... end
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