autoload

Jump to bottom

Norbert Preining edited this page Oct 6, 2017 · 2 revisions

`autoload <module-name> <file-name>`

When evaluating a and found that it is not yet declared, the system read in then retries the evaluation.

Related: no autoload

CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team

Clone this wiki locally