npt-japanese

% Function UPGRADED-COMPLEX-PART-TYPE

UP


Function UPGRADED-COMPLEX-PART-TYPE

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)

備考

なし。


TOP, Github