1.14 require
| (require string) |
Makes the definitions of the module specified by string
available in the current module (i.e., current file), where string
refers to a file relative to the enclosing file.
The string is constrained in several ways to avoid problems with different path conventions on different platforms: a / is a directory separator, . always means the current directory, .. always means the parent directory, path elements can use only a through z (uppercase or lowercase), 0 through 9, -, _, and ., and the string cannot be empty or contain a leading or trailing /.
| (require module-id) |
Accesses a file in an installed library. The library name is an
identifier with the same constraints as for a relative-path string,
with the additional constraint that it must not contain a
..
| (require (lib string string ...)) |
Accesses a file in an installed library, making its definitions
available in the current module (i.e., current file). The first
string names the library file, and the remaining
strings name the collection (and sub-collection, and so on)
where the file is installed. Each string is constrained in the same
way as for the (require string) form.
| (require (planet string (string string number number))) |
Accesses a library that is distributed on the internet via the PLaneT server, making it definitions available in the current module (i.e., current file).