Function UPGRADED-COMPLEX-PART-TYPE
upgraded-complex-part-type typespec &optional environment => upgraded-typespec
typespec - 型指定子
environment - 環境オブジェクト。デフォルトはnilであり、 nullのレキシカルな環境と現在のグローバルな環境を示します。
upgraded-typespec - 型指定子
upgraded-complex-part-typeは、 型typespecの要素をを保存できるような特別な複素数の表現の型を返却します。
typespecは、upgraded-typespecのサブタイプ(可能であれば同一な型)です。
upgraded-complex-part-typeの目的は、 実装がどのようにしてその型をアップグレードしているかを 明らかにすることにあります。
なし。
なし。
なし。
なし。
complex (function), complex (type)
なし。