input

input <pathname>

Requests the system to read the file specified by the pathname. The file itself may contain input commands. CafeOBJ reads the file up to the end, or until it encounters a line that only contains (the literal) eof.