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