temp_path : string ref

SYNOPSIS
Directory in which to create temporary files.

DESCRIPTION
Some HOL Light derived rules in the libraries (none in the core system) need to create temporary files. This is the directory in which they do so.

FAILURE CONDITIONS
Not applicable.

EXAMPLE
On my laptop:
  # !temp_path;;
  val it : string = "/tmp"

SEE ALSO
hol_dir.