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