DifferentialFilters.VISIBLE_FOR_TESTING_DO_NOT_USE_DIRECTLY
val skip_duplicated_types_on_filenames :
FileRenamings.t ->
Differential.t ->
Differential.t
val interesting_paths_filter :
IBase.SourceFile.t list option ->
ATDGenerated.Jsonbug_t.jsonbug list ->
ATDGenerated.Jsonbug_t.jsonbug list