Module Skip_code

type skip =
  1. | Dir of Common.dirname
  2. | File of Common.filename
  3. | DirElement of Common.dirname
  4. | SkipErrorsDir of Common.dirname
val load : Common.filename -> skip list
val filter_files : skip list -> Common.dirname -> Common.filename list -> Common.filename list
val filter_files_if_skip_list : Common.filename list -> Common.filename list
val reorder_files_skip_errors_last : skip list -> Common.dirname -> Common.filename list -> Common.filename list
val build_filter_errors_file : skip list -> Common.filename -> bool