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