module Cillower: sig .. end
sig
end
A number of lowering passes over CIL
val lowerEnumVisitor : Cil.cilVisitor
Cil.cilVisitor
Replace enumeration constants with integer constants