Module Substitute_const_globals

module Substitute_const_globals: sig .. end
A visitor that substitutes globals, defined with the attribute 'const', with respective initializers.

val constGlobSubstVisitor : Cil.cilVisitor