There was an error while loading. Please reload this page.
Switches control various aspects of the computations and behavior of CafeOBJ. The current list of switches and their values can be shown with
show switches
The single switches are described separately in this manual.
Related: show, set
show
set