Lines Matching defs:general
345 general-purpose functions, such as \ML\ functions list processing, arithmetic,
517 general.
523 \item the format used to document other \ML\ bindings (i.e.\ general-purpose
683 The general format of a \doc\ file is shown in Figure~\ref{doc-fig}. The file
929 question (this belongs under {\small\verb!\USES!}). Comments of a general
1052 simply state what the function in question does, but should describe general
1086 efficient derived inference rules by appeal to pre-proved general theorems.
1100 keyword `{\small\verb!\COMMENTS!}', followed by any general remarks about the
1108 The {\small\verb!\COMMENTS!} field is optional, and should be used for general
1159 followed by general text. Within this text, only two kinds of typesetting
1212 The following exception may made to the general rule of indenting displayed
1238 general conventions should also be observed.
1596 library (such as {\tt `string'} or {\tt `reduce'}) will show the general format