-
Notifications
You must be signed in to change notification settings - Fork 6
show
Norbert Preining edited this page Oct 6, 2017
·
2 revisions
The show command provides various ways to inspect all kind of objects
of the CafeOBJ language. For a full list call show ?.
Some of the more important (but far from complete list) ways to call
the show command are:
-
show [ <modexp> ]- describes the current modules of the one specified as argument -
show module tree [ <modexp> ]- displays submodules of in tree format -
show switches- lists all possible switches -
show term [ tree ]- displays a term, possible in tree format
See the entry for switches for a full list.
CafeOBJ Reference Manual (c) 2015-2018 CafeOBJ Development Team