goblint.lib
AutoTune.enumVisitor
goblint.sites
goblint.timing
goblint_sites_dune
goblint_sites_js
inherit GoblintCil.nopCilVisitor
method vglob : GoblintCil.global -> GoblintCil.global list GoblintCil.visitAction