PRIM-BDTYPES : FLAG

PRIM-BDTYPES is a flag or parameter.
List of types of quantified variables used to construct primitive
substitutions. This list will always be used when constructing primitive
substitutions interactively, but see the flag PRIM-BDTYPES-AUTO for more
information on the types that will be used by automatic search procedures.
PRIM-BDTYPES takes values of type TYPESYMLIST-NIL.
It belongs to subjects IMPORTANT PRIMSUBS .
Its default value is ("I")
Its current value is ("I").

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage