reset

Jump to bottom

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

`reset`

Restores the definitions of built-in modules and preludes, but does not affect other modules.

Related: prelude, full reset

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

Clone this wiki locally