-
Notifications
You must be signed in to change notification settings - Fork 6
open
Norbert Preining edited this page Oct 6, 2017
·
2 revisions
This command opens the module specified by the module expression
<mod_exp> and allows for declaration of new sorts, operators, etc.
Related: select, module expression, close
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team