Module DB.Results_dir

type path = string list

path expressed as a list of strings

type path_kind =
  1. | Abs_root
    (*

    absolute path implicitly rooted at the root of the results dir

    *)
  2. | Abs_source_dir of SourceFile.t
    (*

    absolute path implicitly rooted at the source directory for the file

    *)
  3. | Rel
    (*

    relative path

    *)

kind of path: specifies how to interpret a path

val path_to_filename : path_kind -> path -> filename

convert a path to a filename

val init : ?debug:bool -> SourceFile.t -> unit

Initialize the results directory

val create_file : path_kind -> path -> IStdlib.IStd.Unix.File_descr.t

create a file at the given path, creating any missing directories