package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.5.0.tbz
sha256=452d8491527aea21f2cbb11defcc14ba0daf9fdb6bdb9fc0af73e56eac57b916
sha512=1993cd45c4c7fe124ca6e157f07d17ec50fab5611b270a434ed1b7fb2910aa85a8e6eaaa77dad770430710aafb2f6d676c774dd33942d921f23e2f9854486551
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)"
>