goblint.lib
ExpressionEvaluation.ExpEval
goblint.sites
goblint.timing
goblint_sites_dune
goblint_sites_js
val transform : (?node:Node.t -> GoblintCil.Cil.location -> Queries.ask) -> GoblintCil.file -> unit