package goblint

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

Signature for comparable and outputtable elements. Functors for common printables.

module Pretty = GoblintCil.Pretty
module type S = sig ... end
module Empty : S
module Std : sig ... end

Default dummy definitions.

module StdLeaf : sig ... end

Default dummy definitions for leaf types: primitive and CIL types, which don't contain inner types that require relifting.

module type Showable = sig ... end
module SimpleShow (P : Showable) : sig ... end
module type Prettyable = sig ... end
module SimplePretty (P : Prettyable) : sig ... end
module type Formatable = sig ... end
module SimpleFormat (P : Formatable) : sig ... end
module type Name = sig ... end
module UnitConf (N : Name) : sig ... end
module Unit : sig ... end
module HConsed (Base : S) : sig ... end
module HashCached (M : S) : sig ... end
module type PrefixNameConf = sig ... end
module PrefixName (Conf : PrefixNameConf) (Base : S) : S with type t = Base.t
module type LiftConf = sig ... end
module DefaultConf : sig ... end
module LiftConf (Conf : LiftConf) (Base : S) : sig ... end
module type EitherConf = sig ... end
module EitherConf (Conf : EitherConf) (Base1 : S) (Base2 : S) : sig ... end
module Either (Base1 : S) (Base2 : S) : sig ... end
module type Either3Conf = sig ... end
module Either3Conf (Conf : Either3Conf) (Base1 : S) (Base2 : S) (Base3 : S) : sig ... end
module Either3 (Base1 : S) (Base2 : S) (Base3 : S) : sig ... end
module Option (Base : S) (N : Name) : sig ... end
module type Lift2Conf = sig ... end
module Lift2Conf (Conf : Lift2Conf) (Base1 : S) (Base2 : S) : sig ... end
module type ProdConfiguration = sig ... end
module ProdConf (C : ProdConfiguration) (Base1 : S) (Base2 : S) : sig ... end
module Prod (Base1 : S) (Base2 : S) : sig ... end
module ProdSimple (Base1 : S) (Base2 : S) : sig ... end
module Prod3 (Base1 : S) (Base2 : S) (Base3 : S) : sig ... end
module Prod4 (Base1 : S) (Base2 : S) (Base3 : S) (Base4 : S) : sig ... end
module PQueue (Base : S) : sig ... end
module Liszt (Base : S) : sig ... end
module type ChainParams = sig ... end
module Chain (P : ChainParams) : S with type t = int
module LiftBot (Base : S) : sig ... end
module LiftTop (Base : S) : sig ... end
module Strings : sig ... end
module type FailwithMessage = sig ... end
val get_short_list : string -> string -> string list -> string

Concatenates a list of strings that fit in the given character constraint

module Yojson : sig ... end
module Z : S with type t = Z.t
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