TypeTools[RemoveType] -型システムからのユーザ定義の型の削除
使い方
RemoveType(typename)
パラメータ
typename - 名前
|
説明
|
|
•
|
型 typename が、型システムから削除されます。
|
•
|
この関数は、 TypeTools[AddType] を用いて既に登録されている型の定義を、削除する目的だけに使用が可能です。プログラムに組み込まれている型の削除には使用できません。
|
|
|
例
|
|
>
|
TypeTools[AddType]( tff, '{identical(true),identical(false),identical(FAIL)}' );
type( true, 'tff' );
|
| (2.1) |
>
|
TypeTools[RemoveType]( 'tff' );
type( true, 'tff' );
|
Error, type `tff` does not exist
| |
|
|