Defequal-implementation
Implementation of defequal.
The implementation functions have arguments and results
consistently named as follows
(unless otherwise stated, explicitly or implicitly,
in the functions):
- name is the homonymous input to the event macro.
- left is the homonymous input to the event macro.
- right is the homonymous input to the event macro.
- vars is the homonymous input to the event macro.
- n is the arity of left and right,
as described in the user documentation.
- x1...xn is the list of variable symbols x1, ..., xn
described in the user documentation.
Implementation functions' arguments and results
that are not listed above
are described in, or clear from,
those functions' documentation.
Subtopics
- Defequal-fn
- Check redundancy, process the inputs, generated the events.
- Defequal-event-generation
- Event generation performed by defequal.
- Defequal-input-processing
- Input processing performed by defequal.
- Defequal-table
- Table that records successful defequal calls.
- Defequal-macro-definition
- Definition of the defequal macro.
