package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.4.0.tbz
sha256=99b78e6def71534d195eef9084baa26d8334b36084e120aa6afb300c9bf8afa6
sha512=f3162bd95a03c00358a2991f6152fc6169205bfb4c55e2c483e98cc3935673df9656d025b6f1ea0fa5f1bd0aee037d4f483966b0d2907e3fa9bf11a93a3392af
doc/goblint.common/Printable/index.html
Module Printable
Signature for comparable and outputtable elements. Functors for common printables.
module Pretty = GoblintCil.Pretty
module type S = sig ... end
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 Unit : 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 type EitherConf = sig ... end
module EitherConf (Conf : EitherConf) (Base1 : S) (Base2 : S) : sig ... end
module type Either3Conf = sig ... end
module Either3Conf
(Conf : Either3Conf)
(Base1 : S)
(Base2 : S)
(Base3 : S) :
sig ... end
module type Lift2Conf = sig ... end
module type ProdConfiguration = sig ... end
module ProdSimple (Base1 : S) (Base2 : S) : sig ... end
module type ChainParams = sig ... end
module Chain (P : ChainParams) : S with type t = int
module Strings : sig ... end
module type FailwithMessage = sig ... end
module Failwith (Message : FailwithMessage) : S
Concatenates a list of strings that fit in the given character constraint
module Yojson : sig ... end
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>