package goblint

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

Master Control Program

module QuerySet : sig ... end
type spec_modules = {
  1. spec : (module Analyses.MCPSpec);
  2. dom : (module Lattice.S);
  3. glob : (module Lattice.S);
  4. cont : (module Printable.S);
}
val analyses_list : (int * spec_modules) list Prelude.Ana.ref
val analyses_list' : (int * spec_modules) list Prelude.Ana.ref
val dep_list : (int * int list) list Prelude.Ana.ref
val dep_list' : (int * string list) list Prelude.Ana.ref
val analyses_table : (int * string) list Prelude.Ana.ref
val register_analysis : ?dep:string list -> (module Analyses.MCPSpec) -> unit
type unknown = Obj.t
module type DomainListPrintableSpec = sig ... end
module type DomainListLatticeSpec = sig ... end
exception DomListBroken of string
module DomListLattice (DLSpec : DomainListLatticeSpec) : Lattice.S with type t = (int * unknown) list
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