-
Notifications
You must be signed in to change notification settings - Fork 5
protecting
Norbert Preining edited this page Oct 6, 2017
·
2 revisions
Imports the object specified by modexp
into the current
module, preserving all intended models as they are.
See module expression
for format of modexp
.
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team