`type path``= string list```

path expressed as a list of strings

`type path_kind````=`

`|` `Abs_root` | (** absolute path implicitly rooted at the root of the results dir *)
`|` `Abs_source_dir of InferBase.SourceFile.t` | (** absolute path implicitly rooted at the source directory for the file *)
`|` `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 specs_dir : filename`

directory of spec files

`val init : InferBase.SourceFile.t ‑> unit`

Initialize the results directory

`val clean_specs_dir : unit ‑> unit`

Clean up specs directory

`val create_file : path_kind ‑> path ‑> InferStdlib.IStd.Unix.File_descr.t`

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