TEST-FIX-UNIF-DEPTHS : FLAGTEST-FIX-UNIF-DEPTHS is a flag or parameter.
If T, then LEAST-SEARCH-DEPTH will be used to fix the unification depths
MAX-UTREE-DEPTH and MAX-SEARCH-DEPTH as soon as a search in the TEST top
level is successful, and these will not be varied again. Destructively
alters the search list, by changing the range of these two flags to a
TEST-FIX-UNIF-DEPTHS takes values of type BOOLEAN.
It belongs to subjects TEST-TOP .
Its default value is T
Its current value is T.
TPS documentation homepage