Module Transform.PartialEval

val loc : Cil.location Prelude.ref
class visitor : (Cil.location -> Queries.ask) -> object ... end
val transform : (Cil.location -> Queries.ask) -> Cil.file -> unit