Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
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.