goblint.lib
Transform.PartialEval
goblint.sites
goblint_sites_dune
goblint_sites_js
val loc : GoblintCil.location Prelude.ref
class visitor : (GoblintCil.location -> Queries.ask) -> object ... end
val transform : (GoblintCil.location -> Queries.ask) -> GoblintCil.file -> unit