CL Unification: Package CL.EXT.DACF.UNIFICATION
 

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.