|
import fileName
Executes Tea code read from a file.
The global variable TEA_LIBRARY should define a list of strings representing URLs where fileName is searched. If TEA_LIBRARY is undefined or not a list, fileName is searched in the current directory. If TEA_LIBRARY is an empty list, the file is never searched and import will fail. If two different fileName are mapped into the same full path name, they are considered to be the same file.
|