package goblint

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

Module MapDomainSource

Map domains.

module Pretty = GoblintCil.Pretty
Sourcemodule type PS = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule type Bindings = sig ... end

Subsignature of S, which is sufficient for Print.

Sourcemodule Print (D : Printable.S) (R : Printable.S) (M : Bindings with type key = D.t and type value = R.t) : sig ... end

Reusable output definitions for maps.

Sourcemodule type Groupable = sig ... end
Sourcemodule PrintGroupable (D : Groupable) (R : Printable.S) (M : Bindings with type key = D.t and type value = R.t) : sig ... end

Reusable output definitions for maps with key grouping.

Sourcemodule PMap (Domain : Printable.S) (Range : Lattice.S) : PS with type key = Domain.t and type value = Range.t
Sourcemodule HashCached (M : S) : S with type key = M.key and type value = M.value
Sourcemodule HConsed (M : S) : S with type key = M.key and type value = M.value
Sourcemodule Timed (M : S) : S with type key = M.key and type value = M.value
Sourcemodule MapBot (Domain : Printable.S) (Range : Lattice.S) : S with type key = Domain.t and type value = Range.t
Sourcemodule MapTop (Domain : Printable.S) (Range : Lattice.S) : S with type key = Domain.t and type value = Range.t
Sourceexception Fn_over_All of string
Sourcemodule LiftTop (Range : Lattice.S) (M : S with type value = Range.t) : S with type key = M.key and type value = Range.t
Sourcemodule LiftBot (Range : Lattice.S) (M : S with type value = Range.t) : S with type key = M.key and type value = Range.t
Sourcemodule Joined (E : Lattice.S) (R : Lattice.S) : S with type key = E.t and type value = R.t

Map abstracted by a single (joined) key.

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