MCP (p.goblint.1.1.1.doc.goblint.lib.MCP)

module QuerySet : sig ... end

type spec_modules = {

spec : (module Analyses.MCPSpec);
dom : (module Lattice.S);
glob : (module Lattice.S);
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

module PrintableOfLatticeSpec
  (D : DomainListLatticeSpec) : 
  DomainListPrintableSpec

exception DomListBroken of string

module DomListPrintable (DLSpec : DomainListPrintableSpec) : sig ... end

module DomListLattice
  (DLSpec : DomainListLatticeSpec) : 
  Lattice.S with type t = (int * unknown) list

module LocalDomainListSpec : DomainListLatticeSpec

module GlobalDomainListSpec : DomainListLatticeSpec

module ContextListSpec : DomainListPrintableSpec

module MCP2 : 
  Analyses.Spec
    with module D = DomListLattice(LocalDomainListSpec)
     and module G = DomListLattice(GlobalDomainListSpec)
     and module C = DomListPrintable(ContextListSpec)