next up previous

13.8.1 Displaying the Text of a Defglobal

Displays the text required to define a given global variable. Note that unlike other constructs such as deffacts and definstances, defglobal definitions have no name associated with the entire construct. The variable name passed to ppdefglobal should not include the question mark or the asterisks (e.g. x is the variable name for the global variable ?*x*). This function has no return value.

Syntax

(ppdefglobal <global-variable-name>)


next up previous