package goblint

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

Parameters

module VD : Lattice.S

Signature

module Map : sig ... end
include sig ... end
type t = [
  1. | `Bot
  2. | `Lifted of Map.t
]
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
type group = Printable.Std.group = |
val show_group : group -> 'a
val to_group : 'a -> 'b option
val trace_enabled : bool
val invariant : 'a -> 'b -> Invariant.t
val tag : 'a -> 'b
val arbitrary : unit -> 'a
val lift : 'a -> [> `Lifted of 'a ]
val hash : [< `Bot | `Lifted of Map.t ] -> int
val show : [< `Bot | `Lifted of Map.t ] -> string
val pretty : unit -> t -> Pretty.doc
val name : unit -> string
val printXml : 'a BatInnerIO.output -> [< `Bot | `Lifted of Map.t ] -> unit
val to_yojson : [< `Bot | `Lifted of Map.t ] -> Printable.json
val relift : [< `Bot | `Lifted of Map.t ] -> [> `Bot | `Lifted of Map.t ]
val bot : unit -> [> `Bot ]
val is_bot : [> `Bot ] -> bool
val top : unit -> [> `Lifted of Map.t ]
val is_top : [< `Bot | `Lifted of Map.t ] -> bool
val leq : [< `Bot | `Lifted of Map.t ] -> [< `Bot | `Lifted of Map.t ] -> bool
val pretty_diff : unit -> (t * t) -> Pretty.doc
val join : [< `Bot | `Lifted of Map.t Lifted ] as 'a -> 'a -> 'a
val meet : [< `Bot | `Lifted of Map.t ] -> [< `Bot | `Lifted of Map.t ] -> [> `Bot | `Lifted of Map.t ]
val widen : [> `Lifted of Map.t ] -> [> `Lifted of Map.t ] as 'a -> 'a
val narrow : [> `Lifted of Map.t ] as 'a -> [> `Lifted of Map.t ] -> 'a
type key = Map.key
type value = Map.value
val add : Map.key -> Map.value -> t -> t
val find : Map.key -> [> `Lifted of Map.t ] -> Map.value
val remove : Map.key -> [> `Lifted of Map.t ] as 'a -> 'a
val iter : (Map.key -> Map.value -> unit) -> [> `Lifted of Map.t ] -> unit
val map : (Map.value -> Map.value) -> [< `Bot | `Lifted of Map.t ] -> [> `Bot | `Lifted of Map.t ]
val fold : (Map.key -> Map.value -> 'a -> 'a) -> [> `Lifted of Map.t ] -> 'a -> 'a
val add_list_fun : Map.key list -> (Map.key -> Map.value) -> [> `Lifted of Map.t ] as 'a -> 'a
val add_list_set : Map.key list -> Map.value -> [> `Lifted of Map.t ] as 'a -> 'a
val add_list : (Map.key * Map.value) list -> [> `Lifted of Map.t ] as 'a -> 'a
val long_map2 : (Map.value -> Map.value -> Map.value) -> [> `Lifted of Map.t ] -> [> `Lifted of Map.t ] -> [> `Bot | `Lifted of Map.t ]
val map2 : (Map.value -> Map.value -> Map.value) -> [> `Lifted of Map.t ] -> [> `Lifted of Map.t ] -> [> `Bot | `Lifted of Map.t ]
val for_all : (Map.key -> Map.value -> bool) -> [> `Lifted of Map.t ] -> bool
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