B00_findexSourceFile indexes.
TODO. Maybe move that back to brzo. At the B0 level we are trying something with B0_srcs.
The type for file indexes.
val of_dirs :
?dotfiles:bool ->
?follow_symlinks:bool ->
?prune:(Unix.stats -> string -> B0_std.Fpath.t -> bool) ->
B0_std.Fpath.t list ->
(t, string) Stdlib.resultof_dirs dirs returns a file index for the files in dirs whose prefixes may be reduced see root_root_dirs. See B0_std.Os.Dir.fold for the semantics of optional arguments.
root_dirs i are the directories that were indexed as given in of_dirs.
root_root_dirs is B0_std.Fpath.drop_prefixed and B0_std.Fpath.distinct applied to root_dirs.
dirs is the set of directories in the index, without the root directories.
find_dirname i n are the directories with basename n in i or the empty list if there is no such element.
dir_files i d are the files in directory d. If d is not a root directory or a member of dirs this is the empty list.
dir_dirs i d are the directories in directory d of i. If d is not a root directory or a member of dirs this is the empty list.
files is the set of files in the index.
find_filename i n are the files with basename n in i or the empty list if there is no such element.