To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Management of include directories.
This module offers a high level interface to locating files in the load path, which is constructed from
-I command line flags and a few other parameters.
It makes the assumption that the contents of include directories doesn't change during the execution of the compiler.
Locate a file in the load path. Raise
Not_found if the file cannot be found. This function is optimized for the case where the filename is a basename, i.e. doesn't contain a directory separator.
find, but search also for uncapitalized name, i.e. if name is Foo.ml, allow /path/Foo.ml and /path/foo.ml to match.
module Dir : sig ... end
val add : Dir.t -> unit
Old name for
val append_dir : Dir.t -> unit
append_dir d adds
d to the end of the load path (i.e. at lowest priority.
val prepend_dir : Dir.t -> unit
prepend_dir d adds
d to the start of the load path (i.e. at highest priority.
val get : unit -> Dir.t list
get_paths (), except that it returns a