Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package opam-repository
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module OpamRepositoryRoot.DirSource
Repository root implemented as a directory
quarantine dir returns a path to a temporary directory dedicated to the original repository root. The returned directory is not created and points to a statically known directory in the same parent directory as dir.
Source
module Path :
OpamRepositoryPath.PATH
with type repo_root = t
and type repo_dirname = OpamTypes.dirname
and type 'a typed_file = 'a OpamFile.t