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