Define2
Introduce a second-order function
via a second-order version of define.
General Form
(define2 sofun ...) ; same as define
Inputs
The inputs are identical to define.
The function sofun must satisfy
all the requirements for defsoft,
because define2 generates (defsoft sofun) (see below).
Generated Events
(define sofun ...) ; input form with define2 replaced by define
(defsoft sofun)
sofun is introduced as a first-order function using define.
It is also recorded as a second-order function via defsoft.
Subtopics
- Define2-implementation
- Implementation of define2.
