Import

Users can import files with the import construction:

// Here we import the Logical_equivalence.rus file
import uset/CLASSICAL_FIRST_ORDER_LOGIC_WITH_EQUALITY/Propositional_calculus/Logical_equivalence.rus ;;

The path, which is given in the import-construction is relative to some root directory, which is passed to the Russell implementation as a parameter.

This operation is a simple inclusion, like #include preprocessor directive in c.