sig
type rootsFilter = Flx_cil_cil.global -> bool
val isDefaultRoot : Flx_cil_rmtmps.rootsFilter
val isExportedRoot : Flx_cil_rmtmps.rootsFilter
val isCompleteProgramRoot : Flx_cil_rmtmps.rootsFilter
val removeUnusedTemps :
?isRoot:Flx_cil_rmtmps.rootsFilter -> Flx_cil_cil.file -> unit
val keepUnused : bool Pervasives.ref
end