describe

Jump to bottom

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

`describe <something>`

Similar to the show command but with more details. Call describe ? for the possible set of invocations.

Related: show

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

Clone this wiki locally