sig
  type rootsFilter = Cil_types.global -> bool
  val isExportedRoot : Rmtmps.rootsFilter
  val isCompleteProgramRoot : Rmtmps.rootsFilter
  val removeUnusedTemps :
    ?isRoot:Rmtmps.rootsFilter -> Cil_types.file -> unit
  val remove_unused_labels :
    ?is_removable:(Cil_types.label -> bool) -> Cil_types.fundec -> unit
  val keepUnused : bool Stdlib.ref
  val rmUnusedInlines : bool Stdlib.ref
  val rmUnusedStatic : bool Stdlib.ref
end