Module Flx_cil_rmtmps

module Flx_cil_rmtmps: sig .. end

type rootsFilter = 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