package frama-c
Module Frama_c_kernel.Substitute_const_globals
val constGlobSubstVisitor : Cil.cilVisitorA visitor that substitutes globals, defined with the attribute 'const', with respective initializers.
Frama_c_kernel.Substitute_const_globalsval constGlobSubstVisitor : Cil.cilVisitorA visitor that substitutes globals, defined with the attribute 'const', with respective initializers.