module Substitute_const_globals: sig .. end
sig
end
val constGlobSubstVisitor : Cil.cilVisitor
Cil.cilVisitor