-
Notifications
You must be signed in to change notification settings - Fork 7
extending
Norbert Preining edited this page Oct 6, 2017
·
2 revisions
Imports the object specified by modexp into the current
module, allowing models to be inflated, but not collapsing.
See module expression for format of modexp.
Related: using, protecting, including
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team