-
Notifications
You must be signed in to change notification settings - Fork 6
switch include bool
Norbert Preining edited this page Oct 6, 2017
·
1 revision
Possible values: on off, default on.
By default a couple of built-in modules are implicitly imported with protecting mode. In particular, BOOL is of practical importance. It defines Boolean operators. It is imported to admit conditional axioms.
This switch allows to disable automatic inclusion of BOOL.
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team