14.5.4 Variables in Typed Languages

Variables in typed languages are handled in a manner similar to functions in typed languages. See Typed Functions. The general definition command @deftypevr corresponds to @deftypefn and the specialized definition command @deftypevar corresponds to @deftypefun.

@deftypevr category data-type name

The @deftypevr command is the general definition command for something like a variable in a typed language—an entity that records a value. You must choose a term to describe the category of the entity being defined; for example, “Variable” could be used if the entity is a variable.

The @deftypevr command is written at the beginning of a line and is followed on the same line by the category of the entity being described, the data type, and the name of this particular entity.

For example:

@deftypevr {Global Flag} int enable
…
@end deftypevr

produces the following:

Global Flag: int enable

…

The template is:

@deftypevr category data-type name
body-of-description
@end deftypevr

@deftypevar data-type name

The @deftypevar command is the specialized definition command for variables in typed languages. @deftypevar is equivalent to ‘@deftypevr Variable …’. The template is:

@deftypevar data-type name
body-of-description
@end deftypevar

These commands create entries in the index of variables.