upgraded-complex-part-type
upgraded-complex-part-type typespec &optional environment → upgraded-typespec
typespec—a type specifier.
environment—an environment object. The default is nil, denoting the null lexical environment and the and current global environment. !!! Need to say what happens with the environment.
upgraded-typespec—a type specifier.
upgraded-complex-part-type returns the part type of the most specialized complex number representation that can hold parts of type typespec.
Added by KMP in response to a Barmar comment. -kmp 29-Jul-91The typespec is a subtype of (and possibly type equivalent to) the upgraded-typespec.
The purpose of upgraded-complex-part-type is to reveal how an implementation does its upgrading.
None.
None.
None.
None.