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.
You must be logged in to post a comment.