package core_extended

  1. Overview
  2. Docs

Module Find_files.OptionsSource

Sourcetype error_handler =
  1. | Ignore
  2. | Print
  3. | Raise
  4. | Handle_with of string -> unit
Sourcetype t = {
  1. min_depth : int;
  2. max_depth : int option;
  3. on_open_errors : error_handler;
  4. on_stat_errors : error_handler;
  5. filter : (file_info -> bool) option;
  6. skip_dir : (file_info -> bool) option;
  7. relative_paths : bool;
}
Sourceval default : t
Sourceval ignore_errors : t