diff options
Diffstat (limited to 'doc/lispref/objects.texi')
| -rw-r--r-- | doc/lispref/objects.texi | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/doc/lispref/objects.texi b/doc/lispref/objects.texi index 264a780f93d..a752a2125b4 100644 --- a/doc/lispref/objects.texi +++ b/doc/lispref/objects.texi @@ -1508,12 +1508,14 @@ A type specifier is an expression that denotes a type. A type represents a set of possible values. Type specifiers can be classified into primitive types and compound types. -Type specifiers are in use for several purposes, including: documenting -function interfaces through declaration (@pxref{Declare Form}), -specifying structure slot values (@pxref{Structures,,, cl, Common Lisp -Extensions for GNU Emacs Lisp}), type-checking through @code{cl-the} -(@pxref{Declarations,,, cl, Common Lisp Extensions for GNU Emacs Lisp}), -and others. +Type specifiers are used for several purposes, including: documenting +function interfaces through declarations (@pxref{Declare Form}), +specifying structure slot types (@pxref{Structures,,, cl, Common Lisp +Extensions for GNU Emacs Lisp}), performing type checks with +@code{cl-the} (@pxref{Declarations,,, cl, Common Lisp Extensions for GNU +Emacs Lisp}), and aiding the native compiler (@pxref{Native +Compilation}) in optimizing code generation and inferring function +signatures. @table @asis @item Primitive type specifiers |