sig
val compute : Cil_types.file -> unit
val add_syntactic_transformation :
(Cil_types.file * bool -> Cil_types.file * bool) -> unit
val apply_transformation :
int -> Emitter.t -> Cil_types.file * bool -> Cil_types.file * bool
val transformations_closure :
Cil_types.file * bool -> Cil_types.file * bool
end