Module Oq.DirectorySource

Sourcetype counters = {
  1. candidate_org : int;
  2. parsed_ok : int;
  3. parse_failed : int;
  4. skipped_hidden : int;
}
Sourcetype parsed_doc = {
  1. relative_path : string;
  2. doc : Org.t;
}
Sourcetype parse_failure = {
  1. relative_path : string;
  2. reason : Diagnostic.parse_reason;
}
Sourcetype t = {
  1. root_path : string;
  2. counters : counters;
  3. parsed_docs : parsed_doc list;
  4. parse_failures : parse_failure list;
}
Sourceexception Scan_io_error of string
Sourceval is_hidden_name : string -> bool
Sourceval has_org_extension : string -> bool
Sourceval is_org_file : string -> bool
Sourceval normalize_relative_path : string -> string
Sourceval compare_relative_path : Core.String.t -> Core.String.t -> int
Sourceval sort_parsed_docs : parsed_doc list -> parsed_doc list
Sourceval sort_parse_failures : parse_failure list -> parse_failure list
Sourceval io_errorf : ('a, unit, string, 'b) format4 -> 'a
Sourceval scan : Base.string -> (t, string) Core._result