including

Jump to bottom

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

`including ( <modexp> )`

Imports the object specified by modexp into the current module.

See module expression for format of modexp.

Related: module expression, using, protecting, extending

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