User Tools


Function UPGRADED-COMPLEX-PART-TYPE

Syntax

  • upgraded-complex-part-type typespec &optional environmentupgraded-typespec

Arguments and Values

Description

upgraded-complex-part-type returns the part type of the most specialized complex number representation that can hold parts of type typespec.

The 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.

Examples

None.

Side Effects

None.

Affected By

None.

Exceptional Situations

None.

See Also

Notes

\issue{SUBTYPEP-ENVIRONMENT:ADD-ARG} \issue{ARRAY-TYPE-ELEMENT-TYPE-SEMANTICS:UNIFY-UPGRADING}