Package CL.EXT.DACF.UNIFICATION
Nicknames:
UNIFY
Uses:
COMMON-LISP
Description:
This package contains all the definitions necessary for the general Common Lisp unifier to work.
Affected By:
None.
Exceptional Situations:
None.
See Also:
None.
Notes:
None.