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)
なし。