CLCS
src report error
Index
inline Evaluation and Compilation Dictionary declaration
Declaration

ftype

Syntax

(ftype type {function-name}*)

Arguments

function-namea function name.
typea type specifier.

Valid Context

declaration or proclamation

Binding Types Affected

function

Description

Specifies that the functions named by function-names are of the functional type type. For example: 

 (declare (ftype (function (integer list) t) ith)
          (ftype (function (number) float) sine cosine))

If one of the functions mentioned has a lexically apparent local definition (as made by flet or labels), then the declaration applies to that local definition and not to the global function definition. ftype declarations never apply to variable bindings (see type).

The lexically apparent bindings of function-names must not be macro definitions. (This is because ftype declares the functional definition of each function name to be of a particular subtype of function, and macros do not denote functions.)

ftype

declarations can be free declarations or bound declarations. ftype declarations of functions that appear before the body of a flet or labels

form that defines that function are bound declarations. Such declarations in other contexts are free declarations.

See Also

declare, declaim, proclaim

Backlinks

Constraints on the COMMON-LISP Package for Conforming Programs, Declaration Identifiers, declare, defgeneric, Evaluation and Compilation Dictionary, flet, labels, macrolet, function, proclaim, Semantic Constraints, Some Exceptions to Constraints on the COMMON-LISP Package for Conforming Programs, Symbols in the COMMON-LISP Package, Type Specifiers, type