According to the docstring for include, which can be accessed by typing ?include in the REPL:
Returns the result of the last evaluated expression of the input file.
So yes, it is correct.
According to the docstring for include, which can be accessed by typing ?include in the REPL:
Returns the result of the last evaluated expression of the input file.
So yes, it is correct.