Loading declarations from file

Declarations can be loaded from text files using the use declaration.

Declaration Syntax

use filename;

where filename is a string indicating the name of the file to be loaded.

Example

use ”/models/HierarchicalProtocol/functions.sml”;

use “valueDeclarations.sml”;

The file name can contain either absolute or relative paths. For additional details about paths see the OS.Path structure in the SML Basis Library Manual.

Limitations

Declarations of Color sets and Variables cannot be loaded from files.