This reference variable holds the directory (folder) for the base of the HOL
Light distribution. This information is used, for example, when loading files
with loads. Normally set to the current directory when HOL Light is loaded or
built, but picked up from the system variable HOLLIGHT_DIR if it is defined.

FAILURE CONDITIONS

Not applicable.

EXAMPLE

On my laptop, the value is:

# !hol_dir;;
val it : string = "/home/johnh/holl"

USES

Ensuring that HOL Light can find any libraries or other system files needed to
support proofs.