Module IR.Filtering

type source_files_filter = IBase.SourceFile.t -> bool
type procedures_filter = IBase.SourceFile.t -> Procname.t -> bool
val source_files_filter : source_files_filter IStdlib.IStd.Lazy.t

filter corresponding to `--source-files-filter`

val procedures_filter : procedures_filter IStdlib.IStd.Lazy.t

filter corresponding to `--procedures-filter`