make

Jump to bottom

Norbert Preining edited this page Oct 6, 2017 · 2 revisions

`make <mod_name> ( <mod_exp> )`

This commands defines a new module <mod_name> by evaluating the module expression <mod_exp>.

Related: module expression

CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team