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.


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.


Declarations of color sets and variables cannot be loaded from files.

Model parameters
CPN ML identifier

You must be logged in to post a comment.