Saves all of the constructs in the current environment into the file specified by <file-name>. The save file is written using a binary format which results in faster load time. The save file must be loaded via the bload command. A bsave may be performed at any time (except when a bload is in effect). The pretty print representation of a construct is not saved with a binary image (thus, commands like ppdefrule will show no output for any of the rules associated with the binary image). In addition, constraint information associated with constructs is not saved to the binary image unless dynamic constraint checking is enabled (using the set-dynamic-constraint-checking command). This function returns TRUE if the file was successfully bsaved, otherwise FALSE is returned.
Syntax
(bsave <file-name>)