Function MAKE-EMPTY-ENVIRONMENT

Package:

COMMON-LISP.EXTENSIONS.DATA-AND-CONTROL-FLOW.UNIFICATION

Syntax:

  make-empty-environment
  => unification-environment
  

Arguments and Values:

unification-environment---a fresh unification-environment

Description:

The function MAKE-EMPTY-ENVIRONMENT constructs a new object of type UNIFY:ENVIRONMENT. The new unification-environment is empty, i.e. it does not contain any binding.

Affected By:

None.

Exceptional Situations:

None.

See Also:

UNIFY:ENVIRONMENT, BINDING, FIND-VARIABLE-VALUE

Notes:

None.