prelude

Jump to bottom

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

`prelude <file>`

Loads the given <file> as prelude. That is, a call to reset will reset the definitions made in this file.

Related: full reset, reset

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

Clone this wiki locally