package ocp-index
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
md5=8ba7ad0ff42d98e82c1359f97b98a692
    
    
  sha512=54a5aad2b99126fe14e7e9c98184e58b497cbc0e5e4ac064ebaca2bec750fc5800d97edbff4cde0a323d63cd7a5e5d9942cf05467d3149fe6e3bbf03f5fe3025
    
    
  doc/ocp-index.lib/IndexBuild/index.html
Module IndexBuildSource
This module contains the function to create our lazy data structure from cmi, cmt and cmti files or from whole directories
Build the trie from a list of include directories. They will be scanned for .cmi and .cmt files to complete on module names, and the contents of these files will be lazily read whenever needed.
Load a single file into a trie
Consider the module at the given path as opened, i.e. rebind its contents at the root of the trie. If cleanup_path, also change its contents to refer to the new path.
val fully_open_module : 
  ?cleanup_path:bool ->
  qualify:bool ->
  IndexTypes.t ->
  string list ->
  IndexTypes.tSame as open_module, but tries to open even the elements that are not in the external interface (this needs a cmt to be present)
alias t origin alias binds at alias the contents found at origin. If ~cleanup_path is set, also change its contents to refer to the new path.