1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
\DOC loaded_files
\TYPE {loaded_files : (string * Digest.t) list ref}
\SYNOPSIS
List of files loaded so far.
\DESCRIBE
This reference variable stores a list of previously loaded files together with
MD5 digests. It is updated by all the main loading functions {load_on_path},
{loads}, {loadt} and {needs}, and is used by {needs} to avoid reloading the
same file multiple times.
\FAILURE
Not applicable.
\USES
Not really intended for average users to examine or modify.
\SEEALSO
load_on_path, loads, loadt, needs.
\ENDDOC
|
