Loading declarations from files | CPN Tools help |
CPN ML |
Declarations can be loaded from text files using the use
declaration.
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.