LEIBNIZ-SUB-CHECK : FLAGLEIBNIZ-SUB-CHECK is a flag or parameter.
When T, check substitutions which are made for Leibniz
variables, to ensure that they are relevant in their first argument.
When NIL, don't do this.
LEIBNIZ-SUB-CHECK takes values of type BOOLEAN.
It belongs to subjects UNIFICATION .
Its default value is NIL
Its current value is NIL.
TPS documentation homepage