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