-
Notifications
You must be signed in to change notification settings - Fork 6
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