package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

dune-project

Dependency

sha256=20d5b7332a9f6072ab9ba86c4a53b898eaf681286c56a8805c41850bbf3ddf41

sha512=7c7685cfcd9aa866bc40e813df2bfcb3c79b3d40e615d8d6d0939c5798b9d70dd7f2ba87a741f5ba0ce891e9d254627207fb28057f1f2f6611e4e0d128fd6a71

Logging, which isn't for presenting analysis results.

Sourcemodule Level : sig ... end

Sourcemodule Result : sig ... end

Sourcemodule type Kind = sig ... end

Sourcemodule PrettyKind : sig ... end

Sourcemodule FormatKind : sig ... end

Sourcemodule BatteriesKind : sig ... end

Sourcemodule MakeKind (Kind : Kind) : sig ... end

Sourcemodule Pretty : sig ... end

Sourcemodule Format : sig ... end

Sourcemodule Batteries : sig ... end

include module type of struct include Pretty end

include sig ... end

Sourceval log : Level.t -> ('a, PrettyKind.b, PrettyKind.c, unit) format4 -> 'a

Sourceval debug : ('a, PrettyKind.b, PrettyKind.c, unit) format4 -> 'a

Sourceval info : ('a, PrettyKind.b, PrettyKind.c, unit) format4 -> 'a

Sourceval warn : ('a, PrettyKind.b, PrettyKind.c, unit) format4 -> 'a

Sourceval error : ('a, PrettyKind.b, PrettyKind.c, unit) format4 -> 'a

Sourceval newline : unit -> unit

Sourceval result : ('a, PrettyKind.b, GoblintCil.Pretty.doc, unit) format4 -> 'a