Contract
Purpose and
Header
|
To name the function.
To specify its classes of
input data and its
class of output data.
To describe its purpose.
To formulate a header.
|
Name the function, the classes of input data, the
class of output data, and
specify its purpose:
;; name : in1 in2 ...--> out
;; to compute ... from x1 ...
(define (name x1 x2 ...) ...)
|