goblint.lib
ExpressionEvaluation.ExpEval
goblint.sites
goblint_sites_dune
goblint_sites_js
val transform : (Cil.location -> Queries.ask) -> Cil.file -> unit