-
Notifications
You must be signed in to change notification settings - Fork 7
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