-
Notifications
You must be signed in to change notification settings - Fork 6
save
Norbert Preining edited this page Oct 6, 2017
·
2 revisions
Saves module definitions into the designated file pathname
.
File names should be suffixed with .bin
.
save
also saves the contents of prelude files as well as module definitions
given in the current session.
Related: save-system
, restore
, input
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team